Геут, К. Л. Математическая логика и теория алгоритмов : Учебно-методическое пособие