2 results
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
- Print publication:
- September 1960
-
- Article
- Export citation
A. A. Zinovˇév. Rasširať tématiku logičéskih isslédovanij (Broaden the subject matter of logical investigations). Voprosy filosofii, no. 3 (1957), pp. 211–215. - A. A. Zinovˇév. O raboté séminara po logiké v Instituté Filosofii AN SSSR (On the work of the seminar on logic in the Institute of Philosophy of the Academy of Sciences of the USSR). Voprosy filosofii, no. 2 (1958), pp. 167–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-233
- Print publication:
- September 1959
-
- Article
- Export citation