Рекомендуемая литература

1. Смыслова З.А. Спецглавы математики. Часть 2: Учебное пособие. – Томск: Томский межвузовский центр дистанционного образования, 2001.

2. Шелупанов А.А., Зюзьков В.М. Математическая логика и теория алгоритмов. Учебное пособие.- Томск: STT, 2001.

3. Шапорев С.Д. Математическая логика. – СПб.: БХВ, 2005.

4. Карпов Ю.Г. Теория автоматов. – СПб.: Питер, 2002.

5. Никольская И.Л. Математическая логика. – М.:Высш. Школа, 1981.

6. Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие.– Омск: Наследие. Диалог-Сибирь, 2003.

7. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971.