• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Paperback

Series: Springer Monographs in Mathematics

FictionGeneral MathematicsProgramming

ISBN10: 3319342681
ISBN13: 9783319342689
Publisher: Springer Nature
Published: Aug 23 2016
Pages: 695
Weight: 2.16
Height: 1.42 Width: 6.14 Depth: 9.21
Language: English
​​​​​​​​​​Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.- Proof complexity.- Consistency, Truth and Existence.- References.

1 different editions

Also available

Also in

Fiction