Справочная книга по математической логике: Ч. 4. Теория доказательств и конструктивная математика
| Формат: | Ном |
|---|---|
| Хэл сонгох: | Russian |
| Хэвлэсэн: |
М
Наука
1983
|
| Нөхцлүүд: |
МУҮНомын сан салбар: UB0100000117
| Зохиогчийн тэмдэгт: |
17967 |
|---|---|
| Хуулбар Unknown (Ч.IV) | Бэлэн Түр хойшлуулалтыг байршуулах |