"Элементы математической логики и теория множеств" - читать интересную книгу автора (Слупецкий Е., Борковский Л.)