Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»