Элементы математической логики и теории множеств. Коробков С.С.