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 : |
|