Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies
Buchholz, Wilfried
Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies Wilfried Buchholz; Solomon Feferman; Wolfram Pohlers; Wilfried Sieg - Berlin New York Springer-Verlag c1981 - v, 383 p ill 24 cm - Lecture notes in mathematics 897 ISSN 0075-8434 . - Lecture notes in mathematics (Springer-Verlag) .
Cuprinde bibliografie si index
0387111700 (New York : pbk.) 3540111700 (Berlin : pbk.)
81021364
Mathematical analysis--Foundations
Induction (Mathematics)
Proof theory
510 s 511
Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies Wilfried Buchholz; Solomon Feferman; Wolfram Pohlers; Wilfried Sieg - Berlin New York Springer-Verlag c1981 - v, 383 p ill 24 cm - Lecture notes in mathematics 897 ISSN 0075-8434 . - Lecture notes in mathematics (Springer-Verlag) .
Cuprinde bibliografie si index
0387111700 (New York : pbk.) 3540111700 (Berlin : pbk.)
81021364
Mathematical analysis--Foundations
Induction (Mathematics)
Proof theory
510 s 511