П.С. Новиков. Конструктивная математическая логика с точки зрения классической

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

Издательство: Наука
Год: 1977
Формат: pdf
Страниц: 330
Язык: русский

 

Скачать книгу (15,2 МБ):