Proof theory : the first step into impredicativity
This book verifies with compelling evidence the author s intent to "write a book on proof theory that needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof theory as far as possible, the book starts at an elementary level and displays the connections betwe...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edició: | 1st ed. 2009. |
| Col·lecció: | Universitext
|
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Description d'après consultation du 26 mars 2012 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Proof theory, the first step into impredicativity, Wolfram Pohlers, Berlin, Springer, 2009, 1 vol. (xiii-370 p.), Universitext, 978-3-540-69318-5 • Proof Theory, Texte imprimé, 9783540865322 • Proof theory, the first step into impredicativity, Wolfram Pohlers, Berlin, Springer, 2009, 1 vol. (xiii-370 p.), Universitext, 978-3-540-69318-5 |