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

Автор: Natali26 от 1-09-2021, 23:20, Коментариев: 0

Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА

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

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








Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.