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