Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса / Handbook of mathematical logic. Ч. 4 : Теория доказательств и конструктивная математика / [К. Сморинский и др.]
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | 1983 |
| Физические характеристики: |
391 с. : ил.
|
| Язык: | Русский |
| Предмет: |
Загрузка