Pudlák, Pavel
Logical Foundations of Mathematics and Computational Complexity
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)
- Pudlák, Pavel
- Publisher
- Springer
- Publication year
- 2013
- Language
- en
- Edition
- 2013
- Series
- Springer Monographs in Mathematics
- Page amount
- 14 pages
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9783319001197
