Элементы математической логики и теории множеств (Пензов Ю.Е.)