Родился в д. Русаковке (ныне Курганская область). Окончил Уральский университет (г. Свердловск) в 1951 г. Доктор физико-математических наук, профессор (1963 г.). Вначале работал в Пермском университете, а с 1960 г. — в Институте математики СО АН СССР, с 1967 г.— также в Новосибирском университете. В 1966 г. избран членом-корреспондентом АН СССР.
Внес вклад в различные разделы современной алгебры. Получил ряд важных результатов, относящихся к неразрешимым и разрешимым элементарным теориям классов алгебр, решил ряд теоретико-групповых проблем. Занимался теорией упорядоченных групп, проблемами факторизации бесконечных групп, а также исследованием алгоритмических проблем алгебры.
Член КПСС с 1965 г. По его инициативе и при его участии проведено четыре всесоюзных семинара по теории групп. Был главным редактором журнала «Алгебра и логика» и членом редколлегий других математических журналов, заведующим кафедрой алгебры и математической логики, деканом математического факультета, проректором университета по научной работе, секретарем партбюро, членом Новосибирского областного комитета защиты мира. Награжден двумя орденами Трудового Красного Знамени и медалями.