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