Математическая логика и основания математики

1. Гудстейн Р.Л. - Рекурсивный математический анализ.djvu8.47 MB
2. Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu7.54 MB
3. Расeва Е., Сикорский Р. - Математика метаматематики.djvu6.79 MB
4. Новиков П.С. - Элементы математической логики.djvu6.3 MB
5. Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu6.01 MB
6. Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu5.8 MB
7. Успенский В.А. - Лекции о вычислимых функциях.djvu5.44 MB
8. Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu5.19 MB
9. Глушков В.М. - Синтез цифровых автоматов - 1962.djvu5.11 MB
10. Шенфилд Дж. - Математическая логика.djvu4.99 MB
11. Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu4.96 MB
12. Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu4.59 MB
13. Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu4.04 MB
14. Смальян Р. - Теория формальных систем - 1981.djvu3.92 MB
15. Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu3.58 MB
16. Ершов Ю.Л. - Теория нумераций.djvu3.39 MB
17. Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu3.34 MB
18. Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu3.26 MB
19. Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu3.19 MB
20. Робинсон А. - Введение в теорию моделей и математическую логику.djvu3.08 MB
21. Шенфилд Дж. - Степени неразрешимости - 1977.djvu2.46 MB
22. Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu2.3 MB
23. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu2.12 MB
24. Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu1.94 MB