В
1962
г. открылось отделение математической лингвистики в
НГУ
, фактическим организатором которого был А. В. Гладкий, руководил данным отделением с
1962
г. по
1971
г.
В
1965
г. получил степень доктора физико-математических наук.
Гладкий А. В., Мельчук И. А. Элементы математической лингвистики. — М.: Наука, 1969.
Гладкий А. В. Формальные грамматики и языки. — М.: Наука, 1973.
Гладкий А. В. Математическая логика. — М.: Российск. гос. гуманит. ун-т, 1998.
Гладкий А. В. Введение в современную логику. — М.: МЦНМО, 2001
Гладкий А. В. Синтаксические структуры естественного языка: [описание синтаксических структур естественного языка с помощью простейших понятий теории множеств и теории графов]. — Изд. 2-е, испр. и доп. — Москва: URSS, 2007.