Ликбез

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

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

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

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

 

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

Этот блок был удален по требованию правообладателя. Если вы считаете, что это ошибка, обратитесь к Администратору.
gefexi 02/09/21 Просмотров: 765
0