Normal view MARC view ISBD view

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]

Auteur principal : Buchholz, Wilfried, 1948-, AuteurType 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, Mathematical logic and foundations -- Proof theory and constructive mathematics, Cut-elimination and normal-form theorems
03F10, Mathematical logic and foundations -- Proof theory and constructive mathematics, Functionals in proof theory
03F15, Mathematical logic and foundations -- Proof theory and constructive mathematics, Recursive ordinals and ordinal notations
03-02, Mathematical logic and foundations, Research exposition (monographs, survey articles)
En-ligne : sur Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 BUC (Browse shelf) Available 07743-01

Bibliogr. p. [358]-368. Index

There are no comments for this item.

Log in to your account to post a comment.