Математический интуиционизм : Введение в теорию доказательств / А. Г. Драгалин

Язык: Русский Выходные данные: Москва: Наука, 1979Физическая характеристика: 256 с. чертСерия: Математическая логика и основания математикиУДК:510.6

Тип экземпляра: Книга Папки, в которых отображается этот экземпляр: 2026.04.03

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	Институт прикладной математики им. М.В. Келдыша Миусская	51:164 / Д 72	Доступно

Библиогр.: с. 240-250

Имен., предм. указ.: с. 251-256