|
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 |