<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
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Pavel Pudlák.Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695 |
scientific article; zbMATH DE number 6691565
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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; zbMATH DE number 6691565 |
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
