Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Lecture Notes in Mathematics, nr. 897 Autor W. Buchholz et al. dec 1981 Paperback Preț: 334.03 lei 6-8 săpt.
