Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies - Tapa blanda

 
9789991751221: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies