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

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

Name	Математическая логика и основания математики	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	113.0 MB
Total Files	24
Hash	ABC196E36A524233A9DD11A213C903B74B993ADE

/
Гудстейн Р.Л. - Рекурсивный математический анализ.djvu	8.9 MB
Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu	7.9 MB
Расeва Е., Сикорский Р. - Математика метаматематики.djvu	7.1 MB
Новиков П.С. - Элементы математической логики.djvu	6.6 MB
Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu	6.3 MB
Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu	6.1 MB
Успенский В.А. - Лекции о вычислимых функциях.djvu	5.7 MB
Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu	5.4 MB
Глушков В.М. - Синтез цифровых автоматов - 1962.djvu	5.4 MB
Шенфилд Дж. - Математическая логика.djvu	5.2 MB
Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu	5.2 MB
Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu	4.8 MB
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu	4.2 MB
Смальян Р. - Теория формальных систем - 1981.djvu	4.1 MB
Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu	3.8 MB
Ершов Ю.Л. - Теория нумераций.djvu	3.6 MB
Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu	3.5 MB
Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu	3.4 MB
Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu	3.3 MB
Робинсон А. - Введение в теорию моделей и математическую логику.djvu	3.2 MB
Шенфилд Дж. - Степени неразрешимости - 1977.djvu	2.6 MB
Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu	2.4 MB
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu	2.2 MB
Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu	2.0 MB
Total files 24