ББК 22.12
УДК 512.8

Барвайс Д.
Справочная книга по математической логике - Теория доказательств и конструктивная математика, 1983 г.
Handbook of Mathematical Logic

Файлы

Доступность и MD5 хэш	Формат	Размер
ce1202e4ac4063243c20d3df5c65628c	djvu	4.12 мб