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

•  Гудстейн Р.Л. - Рекурсивный математический анализ.djvu  8.47 MB
•  Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu  7.54 MB
•  Расeва Е., Сикорский Р. - Математика метаматематики.djvu  6.79 MB
•  Новиков П.С. - Элементы математической логики.djvu  6.3 MB
•  Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu  6.01 MB
•  Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu  5.8 MB
•  Успенский В.А. - Лекции о вычислимых функциях.djvu  5.44 MB
•  Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu  5.19 MB
•  Глушков В.М. - Синтез цифровых автоматов - 1962.djvu  5.11 MB
•  Шенфилд Дж. - Математическая логика.djvu  4.99 MB
•  Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu  4.96 MB
•  Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu  4.59 MB
•  Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu  4.04 MB
•  Смальян Р. - Теория формальных систем - 1981.djvu  3.92 MB
•  Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu  3.58 MB
•  Ершов Ю.Л. - Теория нумераций.djvu  3.39 MB
•  Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu  3.34 MB
•  Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu  3.26 MB
•  Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu  3.19 MB
•  Робинсон А. - Введение в теорию моделей и математическую логику.djvu  3.08 MB
•  Шенфилд Дж. - Степени неразрешимости - 1977.djvu  2.46 MB
•  Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu  2.3 MB
•  Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu  2.12 MB
•  Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu  1.94 MB