Список литературы

1. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1987.

2. Клини С. Введение в метаматематику. - М.: Изд-во иностр. лит., 1957.

3. Клини С. Математическая логика. М., 1973.

4. Клини С.К. Машины Тьюринга и рекурсивные функции. М., 1972.

5. Кондаков Н.И. Логический словарь-справочник. – М.: Наука, 1975.

6. Малышев А. Алгоритмы и рекурсивные функции. - М.: Наука, 1986.

7. Математическая энциклопедия. – М.: Изд-во «Советская энциклопедия», 1982.

8. Успенский В.А. Машина Поста. М.: Наука, 1988. - 96 с.

9. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М.: Наука, 1987. - 288с

10. Чёрч А. Введение в математическую логику. Т. 1. – М., 1960.

1 Чёрч А. Ввведение в математическую логику. Т. 1. – М., 1960. – С. 15.

2 Там же, с. 32.

16