Начала теории множеств : Лекции по мат. логике и теории алгоритмовВерещагин, Николай Константинович199920 с.