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ț: 324.54 lei 6-8 săpt.
