Справочная книга по математической логике: Ч. 4. Теория доказательств и конструктивная математика
| Format: | Book |
|---|---|
| Language: | Russian |
| Published: |
М
Наука
1983
|
| Subjects: |
МУҮНомын сан салбар: UB0100000117
| Call Number: |
17967 |
|---|---|
| Copy Unknown (Ч.IV) | Available Place a Hold |