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