LEADER 00000pam a2200373 a 4500
001 26000097410
003 UkLoRLUK
008 811127s1981 wb a b 001 0 eng
020 0387111700
035 |z(UPvMLC)244970
035 (StAbUL)000097410
049 |jCU|k26000097410|lc
050 4 |fq|aQA 4 L47(897)
245 00 Iterated inductive definitions and subsystems of analysis
:|brecent proof-theoretical studies /|cWilfried Buchholz
... [et al.].
260 Berlin ;|aNew York :|bSpringer-Verlag,|c1981.
300 v, 383 p. :|bill. ;|c25 cm.
490 1 Lecture notes in mathematics ;|v897
650 0 Mathematical analysis|xFoundations.
650 0 Induction (Mathematics)
650 0 Proof theory.
700 1 Buchholz, Wilfried,|d1948-
830 0 Lecture notes in mathematics (Springer-Verlag) ;|v897.
