"Элементы математической логики и теории множеств: Учебное пособие" - читать интересную книгу автора (Коробков С.С.)