Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction / by Pavel Pudlák.

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the fou...

Full description

Saved in:
Bibliographic Details
Main Author: Pudlák, Pavel
Format: eBook
Language:English
Published: Heidelberg : Springer International Publishing : Imprint : Springer, 2013.
Series:Springer monographs in mathematics,
Subjects:
Mathematics.
Computer software.
Logic, Symbolic and mathematical.
software.
Computer software
Logic, Symbolic and mathematical
Mathematics
Online Access:Click for online access
Table of Contents:
  • Mathematician's world
  • Language, logic and computations
  • Set theory
  • Proofs of impossibility
  • The complexity of computations
  • Proof complexity
  • Consistency, Truth and Existence
  • References.

Similar Items