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:
Description
Physical Description:v, 383 p. : il. ; 25 cm.
Bibliography:Bibliography: p. [358]-368.
ISBN:0387111700 ;
3540111700