ВУЗ:
Составители:
Автор пишет только половину книги:
другую половину пишет читатель.
Джозеф Конрад
Литература
1. Curry H. B., Feys R. Combinatory Logic, vol. I, Amsterdam: North Holland Co., 1958.
2. Church A. The Calculi of Lambda Conversion. Princeton University Press, Princeton, 1941.
3. Goodstein, R. L. On the Restricted Ordinal Theorem. // J. Symb. Logic. 1944. V. 9.– P. 33–
41.
4. Kirbi L., Paris J. Accessible independence result for Peano arithmetic. // Bulletin of the
London Mathematical Society. 1982. – V. 14. – P. 285–293.
5. Schönfincel M. Über die Bausteine der mathematischen Logik. Math. Annalen, 92, 1924, s.
305–316.
6. Turner D. A. A new implementstion technique for applicative languages. Software–Practice
and Experience, 9, 1979, pp. 31-49.
7. Акритас А. Основы компьютерной алгебры с приложениями: пер. с англ. – М.: Мир,
1994. – 544 с.
8. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов.
М.: Мир, 1979. – 536с.
9. Барендрегт Х. Ламбда–исчисление. Его синтаксис
и семантика. – М.: Мир, 1985.–606с.
10. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир,
1982.
11. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций: Пер. с англ.–М.:
Мир, 1983.–256с.
12. Кац М., Улам С. Математика и логика. Ретроспектива и перспективы: Пер. с англ. –
М.: Мир, 1971. –254с.
13.
Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МЦНМО,
2001.– 960с.
14. Лорьер Ж.-Л. Системы искусственного интеллекта – М.: Мир, 1991. – 568с.
15. Манин Ю. И. Вычислимое и невычислимое. – М.: «Советское радио», 1980. – 128с.
16. Манин Ю. И. Доказуемое и недоказуемое. – М.: «Советское радио», 1979. – 168с.
17. Мендельсон Э. Введение в
математическую логику - М.: Наука, 1976.– 320с.
18. Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов.
Часть 1. Начала теории множеств. М.: МЦМНО, 1999, 128 стр.
19. Оуэн Н. Магические метафоры. 77 историй для учителей, терапевтов и думающих
людей / пер. с англ. Е. Рачковой. – М.: Изд-во Эксмо, 2002. – 320 с.
20. Пенроуз Р. Тени
разума: в поисках науки о сознании. Часть 1: Понимание разума и
новая физика. – Москва-Ижевск: Институт компьютерных исследований, 2003, 368с.
21. Подниекс К. М. Вокруг теоремы Гёделя. Рига: «Зинатне», 1992. – 191с.
22. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика.
Пер. с англ. – М.: Мир, 1980. – 478 с.
23. Смаллиан Р. Принцесса
или тигр? – М.: Мир, 1985. – 221с.
24. Справочная книга по математической логике: В 4-х частях /Под ред. Дж. Барвайса. – Ч.
III. Теория рекурсии: Пер. с англ.– М.: Наука, 1982.– 360с.
25. Справочная книга по математической логике: В 4-х частях /Под ред. Дж. Барвайса. – Ч.
IV. Теория доказательств и конструктивная математика: Пер. с англ.– М
.: Наука, 1983.
– 392с.
26. Филд А., Харрисон П. Функциональное программирование. – М.: Мир, 1993. – 637 с.
27. Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. – Самара: Издательский
Дом «Бахрах-М», 2001. – 752 с.
28. Хьювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т.–М.:Мир,1990.
