Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897) 1981st Edition

11.87 MiB

Download ready in 3s