Справочная книга по математической логике. Часть 3 - Барвайс Дж. - 1982