Logika, automaty a algoritmy - Ajzerman, Mark Aronovič, 1913-1992 (Academia, 1971)