Математическая логика и дискретная математика : Учеб. пособие для мат…