Дискретная математика : Мат. логика и теория множества : Текст лекцийЛексаченко, Валентин Александрович199849 с.