Справочная книга по математической логике: Ч. 4. Теория доказательств и конструктивная математика
| Формат: | |
|---|---|
| Язык: | Russian |
| Опубликовано: |
М
Наука
1983
|
| Предметы: |
МУҮНомын сан салбар: UB0100000117
| Шифр: |
17967 |
|---|---|
| Копировать Unknown (Ч.IV) | Доступно Поместить задолженность |