Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов - Гладкий А. В. (Калинин, Изд-во Калининского гос. ун-та, 1983)