Пензов Ю.Е.
Элементы математической логики и теории множеств
Ноокулон. Управление реальностью.