Дискретная математика с элементами математической логики. (СПО). Учебник.