Математическая логика и основания математики
File List
- Гудстейн Р.Л. - Рекурсивный математический анализ.djvu 8.5 MB
- Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu 7.5 MB
- Расeва Е., Сикорский Р. - Математика метаматематики.djvu 6.8 MB
- Новиков П.С. - Элементы математической логики.djvu 6.3 MB
- Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu 6.0 MB
- Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu 5.8 MB
- Успенский В.А. - Лекции о вычислимых функциях.djvu 5.4 MB
- Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu 5.2 MB
- Глушков В.М. - Синтез цифровых автоматов - 1962.djvu 5.1 MB
- Шенфилд Дж. - Математическая логика.djvu 5.0 MB
- Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu 5.0 MB
- Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu 4.6 MB
- Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu 4.0 MB
- Смальян Р. - Теория формальных систем - 1981.djvu 3.9 MB
- Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu 3.6 MB
- Ершов Ю.Л. - Теория нумераций.djvu 3.4 MB
- Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu 3.3 MB
- Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu 3.3 MB
- Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu 3.2 MB
- Робинсон А. - Введение в теорию моделей и математическую логику.djvu 3.1 MB
- Шенфилд Дж. - Степени неразрешимости - 1977.djvu 2.5 MB
- Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu 2.3 MB
- Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu 2.1 MB
- Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu 1.9 MB
Download Torrent
Related Resources
- Шатилов К.А. Английский на разные случаи жизни... 25.3 MB
- Донсков А.А. (ред.) -Л.H. Толстой и С.А. Толста... 5.1 MB
- Данилова Е.Н., Ядов В.А. - Россияне и поляки на... 1.1 MB
- Хут Г.И., Тюмнев Н.М., Любимов А.Н. - Методы ис... 8.2 MB
- Арсентьев А.И., Букин И.Ю., Мироненко В.А. - Ус... 2.9 MB
- С.Н. Капельян, В.А. Малюшонок - Физика. Пособие... 3.3 MB
- Карабельников Б.Р. - Исполнение и оспаривание р... 3.2 MB
- Е.П. Иова, А.Я. Иоффе, О.Д. Головчинер — Утренн... 6.4 MB
- Грекова Т.И. - Болезнь и смерть - зло или благо... 1011.2 KB
- Колпаков Е.М., Мурашкин А.И., Хартанович В.И., ... 171.9 MB
Copyright Infringement
If the content above is not authorized, please contact us via activebusinesscommunication[AT]gmail.com. Remember to include the full url in your complaint.