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

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

Name	Математическая логика и основания математики	DOWNLOAD Copy Link
Total Size	111.0 MB
Total Files	23
Hash	4FA394E0E0A63609B40A1D2814FB18F897245BD2

/
Гудстейн Р.Л. - Рекурсивный математический анализ.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
Total files 23