Справочная книга по математической логике Теория доказательств и контструктивная математика
Формат: | Ном |
---|---|
Хэл сонгох: | Russian |
Хэвлэсэн: |
M
Наука
1983
|
Нөхцлүүд: |
Формат: | Ном |
---|---|
Хэл сонгох: | Russian |
Хэвлэсэн: |
M
Наука
1983
|
Нөхцлүүд: |