Дегтяренко В.А. Математическая логика : Учеб. пособие / В.А.Дегтяренко,А.А.Сауляк, 2002. - 100 с. - Текст : непосредственный.