Элементы математической логики и теория множеств - Ежи Слупецкий