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