Related Books

Logical Foundations of Mathematics and Computational Complexity
Language: en
Pages: 699
Authors: Pavel Pudlák
Categories: Mathematics
Type: BOOK - Published: 2013-04-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Fou
Logical Foundations of Proof Complexity
Language: en
Pages: 0
Authors: Stephen Cook
Categories: Mathematics
Type: BOOK - Published: 2014-03-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the
Mathematics and Computation
Language: en
Pages: 434
Authors: Avi Wigderson
Categories: Computers
Type: BOOK - Published: 2019-10-29 - Publisher: Princeton University Press

DOWNLOAD EBOOK

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, a
Harvey Friedman's Research on the Foundations of Mathematics
Language: en
Pages: 407
Authors: L.A. Harrington
Categories: Mathematics
Type: BOOK - Published: 1985-11-01 - Publisher: Elsevier

DOWNLOAD EBOOK

This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide au
Principia Mathematica
Language: en
Pages: 688
Authors: Alfred North Whitehead
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 1910 - Publisher:

DOWNLOAD EBOOK