Кадченко А.И. Математическая логика : учеб. пособие / А. И. Кадченко, 2010. - 141 с. - Текст : непосредственный.