Основные труды относятся к алгебре, теории чисел и математической логике (в частности, к теории алгоритмов и теории моделей). Продолжая исследования своего учителя, академика А.И. Мальцева получил важные результаты в теории иерархий (иерархии Ершова), теории степеней неразрешимости и теории нумерации. Член Международной Ассоциации по символической логике. Награжден орденом Трудового Красного Знамени.
Бородин А.И. Советские математики. - Киев, 1982