Proof Theory : An Introduction
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of ele...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in mathematics
1407 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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, an introduction, Wolfram Pohlers, 1989, Berlin, Springer-Verlag, 1 volume (VI-213 pages), Lecture notes in mathematics, 0-387-51842-8 • Proof Theory, Texte imprimé, 9783662178973 • Proof Theory, Texte imprimé, 9783662600610 |
| LEADER | 02926nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 971888 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155214705 | ||
| 020 | |a 9783540468257 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 510 | ||
| 100 | 1 | |a Pohlers, Wolfram. | |
| 245 | 1 | 0 | |a Proof Theory : |b An Introduction |c Wolfram Pohlers. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in mathematics |v 1407 |x 1617-9692 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Ordinal Analysis of Pure Number Theory -- The autonomous ordinal of the infinitary system Z? and the limits of predicativity -- Ordinal analysis of the formal theory for noniterated inductive definitions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers. | ||
| 650 | |a Théorie de la démonstration | ||
| 650 | |a Logique symbolique et mathématique | ||
| 776 | 0 | |0 021420300 |t Proof theory |o an introduction |f Wolfram Pohlers |d 1989 |c Berlin |n Springer-Verlag |p 1 volume (VI-213 pages) |s Lecture notes in mathematics |z 0-387-51842-8 | |
| 776 | 0 | |t Proof Theory |b Texte imprimé |z 9783662178973 | |
| 776 | 0 | |t Proof Theory |b Texte imprimé |z 9783662600610 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-540-46825-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-94D89425-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750647604 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-3-540-46825-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753998319 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-3-540-46825-7 |z Accès INSA CVL | |
| 997 | |0 971888 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||