Logika, automaty a algoritmy - Ajzerman, Mark Aronovič, 1913-1992 (Academia, 1971)
Keywords: matematická logika; výroková logika; konečný automat; teorie automatů; algoritmy; mathematical logic; propositional calculus; finite automaton; automata theory; algorithms