Справочная книга по математической логике. В четырех частях. Часть 4


В настоящее
время данного
товара нет
в продаже


Четвертый том содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики.
Перевод с английского.