Login

Pudlák, Pavel

Logical Foundations of Mathematics and Computational Complexity

Pudlák, Pavel - Logical Foundations of Mathematics and Computational Complexity, ebook

190,65€

Ebook, PDF with Adobe DRM
ISBN: 9783319001197
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Mathematician’s World
Pavel Pudlák

2. Language, Logic and Computations
Pavel Pudlák

3. Set Theory
Pavel Pudlák

4. Proofs of Impossibility
Pavel Pudlák

5. The Complexity of Computations
Pavel Pudlák

6. Proof Complexity
Pavel Pudlák

7. Consistency, Truth and Existence
Pavel Pudlák

Keywords: Mathematics, Mathematical Logic and Foundations, Mathematics of Algorithmic Complexity, Algorithm Analysis and Problem Complexity

Author(s)
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Series
Springer Monographs in Mathematics
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783319001197

Similar titles