Литература

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

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

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

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

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