Математическая логика и основания математики
File Information:
- Magnet Link：
Magnet Link - File Size：108.40 MB
- Creat Time：2017-01-23
- Active Degree：13
- Last Active：2024-08-06
- File Tags：Математическая логика и основания математики
- Statement：This site does not provide download links, only text displays, and does not contain any infringement.
File List:
- Гудстейн Р.Л. - Рекурсивный математический анализ.djvu 8.67 MB
- Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu 7.72 MB
- Расeва Е., Сикорский Р. - Математика метаматематики.djvu 6.96 MB
- Новиков П.С. - Элементы математической логики.djvu 6.45 MB
- Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu 6.15 MB
- Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu 5.94 MB
- Успенский В.А. - Лекции о вычислимых функциях.djvu 5.57 MB
- Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели (Математическая логика и основания математики) - 1980.djvu 5.32 MB
- Глушков В.М. - Синтез цифровых автоматов (Математическая логика и основания математики) - 1962.djvu 5.23 MB
- Шенфилд Дж. - Математическая логика.djvu 5.11 MB
- Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu 5.08 MB
- Кушнер Б.А. - Лекции по конструктивному математическому анализу (Математическая логика и основания математики) - 1973.djvu 4.70 MB
- Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (Математическая логика и основания математики) - 1983.djvu 4.13 MB
- Смальян Р. - Теория формальных систем (Математическая логика и основания математики) - 1981.djvu 4.01 MB
- Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) (Математическая логика и основания математики) - 1970.djvu 3.67 MB
- Ершов Ю.Л. - Теория нумераций.djvu 3.47 MB
- Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu 3.42 MB
- Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств (Математическая логика и основания математики) -1979.djvu 3.34 MB
- Марков А. А., Нагорный М. Н. - Теория алгорифмов (Математическая логика и основания математики) - 1984.djvu 3.26 MB
- Робинсон А. - Введение в теорию моделей и математическую логику.djvu 3.16 MB
- Шенфилд Дж. - Степени неразрешимости (Математическая логика и основания математики) - 1977.djvu 2.52 MB
- Клини С., Весли Р. - Основания интуционистской математики с точки зрения теории рекурсивных функций (Математическая логика и основания математики) - 1978.djvu 2.35 MB
- Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu 2.17 MB
Математическая логика и основания математики
Hot Tags: