Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]
Type de document : MonographieCollection : Lecture notes in mathematics, 897Langue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer-Verlag, 1981Description : 1 vol. (V-383 p.) : ill. ; 24 cmISBN: 3540111700.ISSN: 0075-8434.Bibliographie : Bibliogr. p. [358]-368. Index.Sujet MSC : 03F05, Proof theory and constructive mathematics, Cut-elimination and normal-form theorems03F10, Proof theory and constructive mathematics, Functionals in proof theory
03F15, Proof theory and constructive mathematics, Recursive ordinals and ordinal notations
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundationsEn-ligne : sur Springerlink
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Monographie | CMI Salle 1 | 03 BUC (Browse shelf(Opens below)) | Available | 07743-01 |
Bibliogr. p. [358]-368. Index
There are no comments on this title.