Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal. Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor. Academic Press, New York and London1971, xii + 433 pp. - Mark Aronowitsch Aiserman, L. A. Gussew, L. I. Rosonoer, I. M. Smirnova, and A. A. Tal. Logik—Automaten—Algorithmen. Revised German translation of the same by Rudolf Herschel. R. Oldenbourg Verlag, Munich and Vienna1967, X + 431 pp. - M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal. Logika, automaty a algoritmy. Czech translation of the same by Jaroslav Volčik, Miroslav Mleziva, and Antonín Mykiska. Československá Akademie Věd, Prague1971, 407 pp [Book Review]

Journal of Symbolic Logic 37 (3):625 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272798

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, Aleksey A. Tal, George M. Kranc, Logic, Automata, and Algorithms. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):625-625.
Review: M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, Logic, Automata, Algorithms. [REVIEW]Jiri Becvar - 1966 - Journal of Symbolic Logic 31 (1):109-111.
M. A. Ajzérman, L. A. Gusév, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal′. Logika, avtomaty, algoritmy . Gosudarstvénnoé Izdatel′stvo Fiziko-matématičéskoj Literatury, Moscow1963, 556 pp. [REVIEW]Jiří Bečvář - 1966 - Journal of Symbolic Logic 31 (1):109-111.
Review: M. A. Aizerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata. [REVIEW]Joseph S. Ullian - 1972 - Journal of Symbolic Logic 37 (2):410-411.
I. M. Bocheński. Europäische Philosophie der Gegenwart. A. Francke AG Verlag, Bern1947, 304 pp. - I. M. Bocheński. Europäische Philosophie der Gegenwart. Second, revised edition of the preceding. A. Fsancke AG Verlag, Bern1951, 323 pp. - I. M. Bocheński. La philosophie contemporaine en Europe. French translation of the preceding by François Vaudou. Payot, Paris1951, 252 pp. - I. M. Bocheński. Contemporary European philosophy. English translation of the same by Donald Nicholl and Karl Aschenbrenner. University of California Press, Berkeley and Los Angeles1956, xviii + 326 pp. [REVIEW]Charles A. Baylis - 1968 - Journal of Symbolic Logic 33 (2):313.
Ú. L. Éršov. I. A. Lavrov, A. D. Tajmanov, and M. A. Tajclin. Eléméntarnyé téorii. Uspéhi matématičéskih nauk, vol. 20 no. 4 , pp. 37–108. - Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin. Elementary theories. English translation of the preceding by P. M. Cohn. Russian mathematical surveys, vol. 20 no. 4 , pp. 35–105. [REVIEW]C. Smorynski - 1974 - Journal of Symbolic Logic 39 (3):603.
K. S. Bakradse. Über das Verhältnis von Logik und Dialektik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 7–26. - W. I. Tscherkessow. Über Logik und marxistische Dialektik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 27–46. - M. S. Strogowitsch. Über den Gegenstand der formalen Logik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 47–59. - I. I. Osmakow. Über die Logik des Denkens und die Wissenschaft der Logik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 77–98. - W. P. Tugarinow and L. J. M. [REVIEW]J. F. Thomson - 1953 - Journal of Symbolic Logic 18 (1):86-87.
A Revision of Melmoth's Pliny - Pliny: Letters. With an English Translation by William Melmoth. Revised by W. M. L. Hutchinson. 2 vols. 8vo. Vol. i. pp. xvi + 536; vol. ii. pp. 440. (Loeb Classical Library.) London: Wm. Heinemann; New York: The Macmillan Co., 1915. 5s. each. [REVIEW]J. Wight Duff - 1916 - The Classical Review 30 (07):200-202.
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 , pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 , pp. 880–882. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509.
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1984, ix + 216 pp. - Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Second edition. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1986, ix + 308 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Second edition. Revised English translation by Ann S. Ferebee and Margit Meßmer of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, x + 289 pp. [REVIEW]Steffen Lempp - 1995 - Journal of Symbolic Logic 60 (3):1013-1014.

Analytics

Added to PP
2016-06-30

Downloads
54 (#304,015)

6 months
14 (#200,872)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references