Элементы математической логики и теории множеств: Учебное пособие для вузов - Вольвачев, Р. Т. Раймонд Трофимович (Университетское, 1986)