Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /

Bibliographic Details
Other Authors: Buchholz, Wilfried, 1948- (ed.,)
Format: Book
Published: Berlin : Springer, 1981.
Series:Lecture notes in mathematics ; v. 897
LNM ; v. 897
Subjects: