4 results
Alonzo Church. Vvédénié v matématičéskuú logiku. Russian translation of XXII 286 by V. S. Čérnávskij, edited by V. A. Uspénskij. Izdatél'stvo Inostrannoj Litératury, Moscow1960, 484 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1962
-
- Article
- Export citation
H. Freudenthal. Logique mathématique appliquée. Collection de logique mathématique, Série A, no. 14. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1958, title pages + 59 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- September 1959
-
- Article
- Export citation
Hans Hermes. Maschinen zur Entscheidung von mathematischen Problemen. Mathematisch-physikalische Semesterberichte (Göttingen), vol. 2 no. 3/4 (1952), pp. 179–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
- Print publication:
- December 1957
-
- Article
- Export citation
N. A. Šanin. O nékotoryh logičéskih problémah arifmétiki (On some logical problems of arithmetic). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 43. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, pp. 112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 79
- Print publication:
- March 1957
-
- Article
- Export citation