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