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