Logical foundations of mathematics and computational complexity a gentle introduction / [electronic resource] :
Pavel Pudlak.
- 1st ed.
- New York : Springer, 2013.
- xiv, 695 p.
- Springer monographs in mathematics .
- Springer monographs in mathematics. .