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