Математический интуиционизм введение в теорию доказательств А. Г. Драгалин
Вид матеріалу: Текст Мова: російська Серія: Математическая логика и основания математикиПублікація: М. Наука 1979Опис: 256 сТип вмісту:- текст
- прямий доступ
- аркуш
- 517
Тип одиниці зберігання | Поточна бібліотека | Шифр зберігання | Стан | Очікується на дату | Штрих-код | |
---|---|---|---|---|---|---|
Книга, брошура | Відділ зберігання основного фонду | Доступно |