
Logical Foundations of Mathematics and Computational Complexity
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics.
- Alaotsikko
- A Gentle Introduction
- Kirjailija
- Pavel Pudlák
- Painos
- 2013 ed.
- ISBN
- 9783319001180
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 31.5.2013
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 695