<b>Pavel Pudlák.<i>Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction</i></b>. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695 (Q2965634)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <b>Pavel Pudlák.<i>Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction</i></b>. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695 |
scientific article |
Statements
<b>Pavel Pudlák.<i>Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction</i></b>. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695 (English)
0 references
3 March 2017
0 references
