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