Список использованных источников

1. Булос Дж., Джеффри Р. Вычислимость и логика – Москва «Мир»: 1994.-394 с.

2. Зюзюков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов – М: 2007.-176 с.

3. Игошин В.И. Математическая логика и теория алгоритмов – М: 2008. -435 с.

4. Мендельсон Э. Введение в математическую логику – М: 1971.-320 с.

5. Молчанов В.А. Математическая логика – Оренбург: ИПК ГОУ ОГУ, 2009. -88 с.

6. http://ru.wikipedia.org/wiki/Логика_первого_порядка

7. http://ru.wikipedia.org/wiki/Машина_Тьюринга

8. http://ru.wikipedia.org/wiki/Формальное_исчисление