Алгоритмические машины
...касались некоторых вопросов логики и самой теории алгоритмов . Оказалось, например, что неразрешима задача установления истинности...
5. Ершов Ю.Л. Математическая логика [Текст] / Ю.Л. Ершов, Е.А. Палютин. – М.: Наука, 2008. 6. Клини С. Введение...