Справочная книга по математической логике : В 4-х ч. Пер. с англ.