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