Проектно-ориентированное обучение математической логике: Учебно-методическое пособие