Название: Конструктивная математическая логика с точки зрения классической
Автор: Новиков П.С.
Издательство: Наука
Год: 1977
Формат: pdf
Страниц: 330
Размер: 15,24 Мб
Язык: русский

В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях.



ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШЕМ СЮДА!