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