Котович Л.Л. Задачи и справочник по математической логике : Учеб. пособие / Л. Л. Котович, А. Л. Бескин, 2007. - 71 с. - Текст : непосредственный.