Please note that this page does not hosts or makes available any of the listed filenames. You
cannot download any of those files from here.
|
Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu |
5.80MB |
Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu |
7.54MB |
Глушков В.М. - Синтез цифровых автоматов - 1962.djvu |
5.11MB |
Гудстейн Р.Л. - Рекурсивный математический анализ.djvu |
8.47MB |
Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu |
3.26MB |
Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu |
5.19MB |
Ершов Ю.Л. - Теория нумераций.djvu |
3.39MB |
Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu |
3.34MB |
Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu |
2.30MB |
Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu |
4.59MB |
Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu |
3.19MB |
Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu |
1.94MB |
Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu |
4.96MB |
Новиков П.С. - Элементы математической логики.djvu |
6.30MB |
Расeва Е., Сикорский Р. - Математика метаматематики.djvu |
6.79MB |
Робинсон А. - Введение в теорию моделей и математическую логику.djvu |
3.08MB |
Смальян Р. - Теория формальных систем - 1981.djvu |
3.92MB |
Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu |
3.58MB |
Успенский В.А. - Лекции о вычислимых функциях.djvu |
5.44MB |
Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu |
6.01MB |
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu |
4.04MB |
Шенфилд Дж. - Математическая логика.djvu |
4.99MB |
Шенфилд Дж. - Степени неразрешимости - 1977.djvu |
2.46MB |
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu |
2.12MB |