"Справочная книга по математической логике" - читать интересную книгу автора (Барвайс Дж. (ред.))