Bibliographic Details
| Main Authors : |
Buchholz Wilfried
(Auteur),
Feferman Solomon
(Auteur),
Pohlers Wolfram
(Auteur),
Sieg Wilfried
(Auteur) |
| Format : |
Book |
| Language : |
anglais |
| Title statement : |
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg |
| Published : |
Berlin, Heidelberg, New York :
Springer-Verlag
, 1981, cop. 1981
|
| Physical Description : |
1 vol. (V-383 p.) |
| Series : |
Lecture notes in mathematics ; 897
|
| Subjects : |
|
Nantilus
