
Tell your friends about this item:
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies - Lecture Notes in Mathematics 1981 edition
W. Buchholz
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies - Lecture Notes in Mathematics 1981 edition
W. Buchholz
384 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 1, 1981 |
ISBN13 | 9783540111702 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 384 |
Dimensions | 156 × 234 × 20 mm · 548 g |
Language | English |
See all of W. Buchholz ( e.g. Paperback Book )