- Libros
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- Libros
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Feferman, S.
English
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Feferman, S.EAN
9783540111702
Editorial
Year of edition
1981
Idiom
English
Collection
Lecture Notes in Mathematics
High
235
Width
155