Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика
Автор:
Барвайз Джон К.
|
Математика
Выберите формат:
ZIP
(6,6 Mb)
P
DF
(6,8 Mb)
Товары для саморазвития и самопознания