Détails bibliographiques
| Auteurs principaux : |
Buchholz Wilfried
(Auteur),
Feferman Solomon
(Auteur),
Pohlers Wolfram
(Auteur),
Sieg Wilfried
(Auteur) |
| Format : |
Livre |
| Langue : |
anglais |
| Titre complet : |
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg |
| Publié : |
Berlin, Heidelberg, New York :
Springer-Verlag
, 1981, cop. 1981
|
| Description matérielle : |
1 vol. (V-383 p.) |
| Collection : |
Lecture notes in mathematics ; 897
|
| Sujets : |
|
Nantilus
