Aĭzerman, M. A.; Gusev, L. A.; Rozonoèr, L. I.; Smirnova, I. M.; Tal’, A. A. Logik. Automaten. Algorithmen. (Логика. Автоматы. Алгоритмы.) (Russian) Zbl 0131.00802 Moskau: Staatsverlag für physikalisch-mathematische Literatur. 556 S. (1963). Reviewer: A. Ádám Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 2 Documents MSC: 68-02 Research exposition (monographs, survey articles) pertaining to computer science 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03D05 Automata and formal grammars in connection with logical questions 68Q45 Formal languages and automata 68Q42 Grammars and rewriting systems Keywords:automata; mathematical logic; algorithms PDF BibTeX XML