Учебное пособие. — Москва: МГУ, 2004. — 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств
Комментарии