Советский математик, лингвист и педагог, доктор физико-математических наук, профессор. Окончил Московский университет (1950). Ученик П. С. Новикова. Работал в Институте математики Сибирского отделения Академии наук СССР, преподавал в Новосибирском и Калининском университетах, в Шуйском филиале Ивановского университета, с 1991 по 2000 годы в РГГУ. Основные труды по математической логике и математической лингвистике, в которую внес большой вклад.