Chapters of Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Book Informaton

Pavel Pudlák

Springer Monographs in Mathematics

2013

Springer International Publishing

XIV, 695

9783319001180, 9783319001197

1664298589830

This page has been accessed 5 times.

Springer

Download Citation

entries per page

Filter:

Showing 1 to 9 of 9 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-XIV
Mathematician’s World	Pavel Pudlák	1-64
Language, Logic and Computations	Pavel Pudlák	65-155
Set Theory	Pavel Pudlák	157-253
Proofs of Impossibility	Pavel Pudlák	255-364
The Complexity of Computations	Pavel Pudlák	365-493
Proof Complexity	Pavel Pudlák	495-581
Consistency, Truth and Existence	Pavel Pudlák	583-665
Back Matter		667-695
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 9 of 9 entries

Topics