Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. (and added sheet of corrections). - A. S. Ésénin-Vol′pin. Ot péravodčika (From the translator). Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. (Appendix I. Proof of the second theorem of Gödel.) Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. (Appendix II. Filling of a gap in §§49 and 74.) Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot (iv) k (v) v dokazatél'stvé téorémy 36. (Appendix III. On the formalizability of the transition from (iv) to (v) in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. (Appendix IV. Construction of formula B of example 2 §79.) Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. (Appendix V. On the eliminability of equality and of indefinite descriptions.) Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV (po Gil′bértu-Bérnajsu [1939, str. 361–366]). (Appendix VI. On the formalization of induction up to ordinal numbers less than ε0 in the system of Chap. IV (according to Hilbert-Bernays [1939, pp. 361–366]).) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néprotivoréčivosti klassičéskoj arifmétiki s pomošč′ú indukcii do ε0 (po Sútté). Rezultat P. S. Novikova. (Appendix VII. Proof of the consistency of classical arithmetic with the aid of induction up to ε0 (according to Schütte). A result of P. S. Novikov.) Therein, pp. 485–492.