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