Journal of Symbolic Logic 31 (2):285-285 (1966)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2269855 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Novikov P. S.. Eléménty Matématičéskoj Logiki . Gosudarstvénnoé Izdatél'stvo Fiziko-Matématičéskoj Litératury, Moscow 1959, 400 Pp. [REVIEW]Andrzej Mostowski - 1965 - Journal of Symbolic Logic 30 (3):356-357.
Médvédév Ú. T.. O Klassé Sobytij, Dopuskaúščih Prédstavlénié V Konéčnom Avtomaté . Avtomaty, Izdatél'stvo Inostrannoj Litératury, Moscow 1956, Pp. 385–401. [REVIEW]Andrzej J. Blikle - 1965 - Journal of Symbolic Logic 30 (3):381-382.
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. [REVIEW]James G. Renno - 1962 - Journal of Symbolic Logic 27 (1):76-76.
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and Others . Sintéz Eléktronnyh Vyčislitél'nyh I Upravláúščih Shém. Russian Translation of XVIII 347 by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, Edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 Pp. - G. N. Povarov. Review of the Preceding. Russian. Avtomatika I Téléméhanika, Vol. 15 , Pp. 567–569. - M. A. Gavrilov. Téoriá Réléjno-Kontaktnyh Shém. Analiz I Sintéz Struktury Réléjno-Kontaktnyh Shém. . Akadémiá Nauk SSSR, Institut Avtomatiki I Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 Pp. [REVIEW]Zdzisław Pawlak - 1956 - Journal of Symbolic Logic 21 (3):331-331.
Ánovskaá S. A.. Matématičéskaá Logika I Osnovaniá Matématiki . Matématika V SSSR Za Sorok Lét 1917–1957, Vol. I, Obzornyé Stat'i, Gosudarstvénnoé Izdatél′Stvo Fiziko-Matématičéskoj Litératury, Moscow 1959, Pp. 13–120. [REVIEW]E. J. Cogan - 1962 - Journal of Symbolic Logic 27 (4):470-470.
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. . - A. S. Ésénin-Vol′Pin. Ot Péravodčika . Therein, Pp. 5–6. - A. S. Ésénin-Vol′Pin. Dobavlénié I. Dokazatél′Stvo Vtoroj Téorémy Gëdéla. Therein, Pp. 459–474. - A. S. Ésénin-Vol′Pin. Dobavlénié II. Vospolnénié Probêla Υ §§49 I 74. Therein, Pp. 474–478. - A. S. Ésénin-Vol′Pin. Dobavlénié III. O Formalizuémosti Péréhoda Ot K V Dokazatél'stvé Téorémy 36. To 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. Therein, Pp. 479–481. - A. S. Ésénin-Vol′Pin. Dobavlénié V. Ob Ustranimosti Ravénstva I Néoprédélénnyh Opisanij. 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 . .) Therein, Pp. 484–485. - A. S. Ésénin-Vol′Pin. Dobavlénié VII. Dokazatél′Stvo Néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
A. A. Lápunov. Matématičéskié Isslédovaniá, Svázannyé s Ekspluataciéj Eléktronnyh Vyčislitél′Nyh Mašin . Matematika V SSSR Za Sorok Lét 1917–1957, Vol. 1, Obzornyé Stat′I, Gosudarstvénnoé Izdatél′Stvo Fiziko-Matématičéskoj Literatury, Moscow1959, Pp. 857–877. [REVIEW]Ann M. Singletery - 1966 - Journal of Symbolic Logic 31 (3):516-516.
Uspénskij V. A.. Lékcii o vyčislimyh funkciáh . Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow 1960, 492 pp. [REVIEW]Elliott Mendelson - 1966 - Journal of Symbolic Logic 31 (2):263-264.
Reviews. A. I. Mal′Cév. Algoritmy I Rekursivnyé Funkcii . Izdatél′Stvo “Nauka,” Glavnaá Rédakciá Fiziko-Matématičéskoj Litératury, Moscow 1965, 391 Pp. [REVIEW]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):290-290.
Zinov'év A. A.. Filosofskié problémy mnogoznačnoj logiki . Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, 139 pp. [REVIEW]David Dinsmore Comey - 1963 - Journal of Symbolic Logic 28 (3):255-256.
Povarov G. N.. O gruppovoj invariantnosti bulévyh funkcij . Priménénié logiki v nauké i téhnike , Izdatél′stvo Akadémii Nauk SSSR, Moscow 1960, pp. 263–340. [REVIEW]A. Ádám - 1970 - Journal of Symbolic Logic 35 (1):161-162.
N. I. Stážkin. Logičéskoé naslédstvo P. S. Poréckogo . Očérki po istorii logiki v Rossii , Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 126–154. [REVIEW]David Dinsmore Comey - 1965 - Journal of Symbolic Logic 30 (3):367-368.
V. A. Smirnov. Logičéskié vzglády N. A. Vasil'éva . Očérki po istorii logiki v Rossii , Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 242–257. [REVIEW]David Dinsmore Comey - 1965 - Journal of Symbolic Logic 30 (3):368-370.
G. N. Povarov. Matématiko-Logičéskoe Isslédovanié Sintéza Kontaktnyh Shém s Odnim Vhodom I K Vyhodami . A Reprint of XXXV 175 with Minor Corrections. Logičéskié Isslédovaniá, Sbornik Statéj, Izdatél′Stvo Akadémii Nauk SSSR, Moscow1959, Pp. 379–405. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (2):343-344.
A. Mostowski. On Models of Axiomatic Set-Theory. Bulletin de L′Académie Polonaise des Sciences, Classe III, Vol. 4 , Pp. 663–667. - A. Mostowski. Zaméčaniá K Dokazatél′Stvam Suščéstvovaniá Standartnyh Modéléj . Trudy Trét′Égo Vsésoúznogo Matématičéskogo Sézda, Moskva, Iún′-Iúl′ 1956, Volume IV, Kratkoé Sodéržanié Sékcionnyh Dokladov, Doklady Inostrannyh Učényh, Izdatél′Stvo Akadémii Nauk SSSR, Moscow1959, Pp. 232–236. [REVIEW]Elliott Mendelson - 1968 - Journal of Symbolic Logic 32 (4):531-532.
Analytics
Added to PP index
2016-06-30
Total views
8 ( #1,010,489 of 2,519,698 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,698 )
2016-06-30
Total views
8 ( #1,010,489 of 2,519,698 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,698 )
How can I increase my downloads?
Downloads
