Конструктивная математическая логика с точки зрения классической
- Добавил: Natali26
- Дата: 1-09-2021, 23:20
- Комментариев: 0
Название: Конструктивная математическая логика с точки зрения классическойАвтор: Новиков П.С.
Издательство: Наука
Год: 1977
Формат: pdf
Страниц: 330
Размер: 15,24 Мб
Язык: русский
В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях.
Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.