Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

by Pavel Pudlák

Book Overview

​​​​​​​​​​Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.- Proof complexity.- Consistency, Truth and Existence.- References.

• Format: Paperback
• Language: English
• ISBN: 3319342681
• ISBN13: 9783319342689
• Release Date: August 2016
• Publisher: Springer
• Length: 695 Pages
• Weight: 2.16 lbs.
• Dimensions: 1.4" x 6.1" x 9.2"