S. A. Ánovskaá. Matématičéskaá logika i osnovaniá matématiki (Mathematical logic and the foundations of mathematics). Matématika v SSSR za sorok lét 1917–1957, Vol. I, <i><b>Obzornyé stat'i</b></i>, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120.

Edward J. Cogan

Type: Article

Publication Date: 1962-12-01

Citations: 1

DOI: https://doi.org/10.2307/2964558

View Publication

Locations

Journal of Symbolic Logic - View

Similar Works

Action	Title	Year	Authors
+	S. A. Ánovskaá. Osnovaniá matématiki i matématičéskaá logika (Foundations of mathematics and mathematical logic). Matématika v SSSR za tridcat′ lét 1917–1947 (Mathematics in the USSR for the thirty years 1917–1947), OGIZ, Moscow and Leningrad1948, pp. 9–50.	1951	George L. Kline
+	P. S. Novikov. Eléménty matématičéskoj logiki (Elements of mathematical logic). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1959, 400 pp.	1965	Andrzej Mostowski
+	N. I. Stážkin and V. D. Silakov. Kratkij očérk istorii obščej i matématičéskoj logiki v Rossii (A brief outline of the history of general and mathematical logic in Russia). Gosudarstvénnoé Izdatél'stvo “Vysšaa Škola,” Moscow1962, 87 pp	1965	David Dinsmore Comey
+	N. I. Stážkin. Formirovanié matématičéskoj logiki (Formation of mathematical logic). Izdatél′stvo “Nauka.”Moscow1967. 508 pp.	1968	Jean van Heijenoort
+	Niko Prijatelj. Uvod v matematično logiko (Introduction to mathematical logic). Mladinska Knjiga, Ljubljana1960, 150 pp.	1968	Ivan Boh
+	L. P. Gokiéli. O tak nazyvaémyh “sodéržatél'nyh aksiomah” matématiĉéskoj logiki (On the so-called “content-having axioms” of mathematical logic). Soobŝĉéniá Gruzinskogo Filiala Akadémii Nauk SSSR (Mitteilungen der Georgischen Abteilung der Akademie der Wissenschaften der USSR), vol. 1 (1940), pp. 421–428, 665–672, 731–738, and <i>Soobŝĉéniá Akadémii Nauk Gruzinskoj SSR (Mitteilungen der Akademie der Wissenschaften der Georgischen SSR)</i>, vol. 2 (1941), pp. 51–58.	1942	Mark Kac Barkley Rosser
+	Stanislaw Kaczorowski. Logika matematyczna. Cz. I. Algebra logiki. (Zarys dziejów.) (Mathematical logic. Part I. The algebra of logic. (An outline of history.)) Second edition, Księgarnia Naukowa, Lódź1946, 26 pp.	1948	Andrzej Mostowski
+	Andrzej Grzegorczyk. Zarys logiki matematycznej. Biblioteka matematyczna, vol. 20. Państwowe Wydawnictwo Naukowe, Warsaw1961, 477 pp. - Andrzej Grzegorczyk. Zarys logiki matematycznej. Second, revised and enlarged, edition of the preceding and Polish original of An outline of mathematical logic. Biblioteka matematyczna, vol. 20. Państwowe Wydawnictwo Naukowe, Warsaw1969, 505 pp. - Andrzej Grzegorczyk. Zarys logiki matematycznej. Third revised edition. Biblioteka matematyczna, vol. 20. Państwowe…	1983
+	Andrzej Grzegorczyk. An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of <i><b>Zarys logiki matematycznej</b></i>. Synthese library, vol. 70. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1974, X + 596 pp.	1983	Esteban López‐Escobar
+	Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, …	1972	Ann S. Ferebee
+	N. A. Šanin. О konstruktivnom ponimanii matématičéskih suždénij (On the constructive interpretation of mathematical judgments). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 226–311.	1966	E. M. Fels
+	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.	1957	James Renno
+	S. Ú. Maslov. O nékotoryh sposobah zadaniá množéstv v bazisah poroždéniá. Doklady Akadémii Nauk SSSR, Vol. 153 (1963), pp. 266–269. - S. Ju. Maslov. Some methods for the definition of sets in generating bases. English translation of the preceding by Avner Falk. Soviet mathematics, vol. 4 no. 6 (1964), pp. 1649–1652.	1967	E. M. Fels
+	A. D. Tajmanov. Haraktéristika konéčno-aksiomatiziruémyh klassov modéléj. Sibirskij matématičéskij žurnal, vol. 2 (1961), pp. 759–766. - A. D. Tajmanov. Haraktéristika konéčno aksiomatiziruémyh klassov modéléj. Doklady Akadémii Nauk SSSS, vol. 138 (1961), pp. 67–69. - A. D. Taimanov. Characterization of finitely axiomatizable classes of models. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961), pp. 552–554.	1973	Andrzej Mostowski
+	A. I. Mal'cév. Algébraičéskié sistémy. Russian original of the foregoing. Izdatél'stvo “Nauka,” Moscow1970, 392 pp. - Thomas J. Jech. The axiom of choice. Studies in logic and the foundations of mathematics, vol. 75. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, XI + 202 pp.	1976	Gershon Sageev
+	Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part …	1972	Ann S. Ferebee
+	A. A. Lápunov. Matématičéskié isslédovaniá, svázannyé s ekspluataciéj eléktronnyh vyčislitél′nyh mašin (Mathematical investigations connected with the operation of electronic computing machines). Matematika v SSSR za sorok lét 1917–1957, vol. 1, <b><i>Obzornyé stat′i</i></b>, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1959, pp. 857–877.	1966	Ann M. Singletery
+	Ackermann Wilhelm. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 143–155.	1967	R. Harrop
+	P. S. Novikov. Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein. Oliver & Boyd, Edinburgh and London, and Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xi + 296 pp.	1966	Gert H. Müller
+	D. A. Bocvar. Nékotoryé logicéskié teorémyo normal'nyh mnozést'vah i prédikatah (Some logical theorems on the normal sets and predicates). Matémalicéskij sbornik (Recueil mathématique), n.s. vol. 16 (58), no. 3 (1945), pp. 345–352.	1947	Andrzej Mostowski

Works That Cite This (1)

Action	Title	Year	Authors
+ PDF Chat	Image of Soviet and Russian logic in the West. Latter Half of the XXth Century	2021	Valentín A. Bazhanov Irving H. Anellis

Works Cited by This (0)

Action	Title	Year	Authors