Foundations of mathematics. Logical calculi and the formalization of arithmetic. (Osnovaniya matematiki. Logicheskie ischisleniya i formalizatsiya arifmetiki). Transl. from the German. Russian transl. ed. by S. I. Adyan. 2nd ed. (Russian) Zbl 0518.03001

Seriya: ”Matematicheskaya Logika i Osnovaniya Matematiki”. Moskva: “Nauka”. 556 p. (1982).


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