Коллектив авторов / Методическая разработка по курсу "Математическая логика и дискретная математика"