Foundations of mathematics. Logical calculi and the formalization of arithmetic. (Osnovaniya matematiki. Logicheskie ischisleniya i formalizatsiya arifmetiki). Transl. from the German by N. M. Nagornyj. Russian translation ed. and with a preface by S. I. Adyan. (Russian) Zbl 0478.03002

Matematicheskaya Logika i Osnovaniya Matematiki. Moskva: “Nauka”. 558 p. R. 2.70 (1979).


03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F30 First-order arithmetic and fragments
03F50 Metamathematics of constructive systems
03F99 Proof theory and constructive mathematics


Zbl 0191.284