Родился 1 мая 1940 г. Математик, специалист в области алгебры и математической логики. Основные труды по теории алгоритмов, теории моделей и теории чисел.

Окончил Новосибирский государственный университет (1963). Работает в Институте математики СО АН СССР; с 1967 г. - заведующий отделом математической логики, директор института (2002). Профессор (1967), заведующий кафедрой алгебры и математической логики Новосибирского университета (1976), и 1973 - 1976 гг. - декан математического факультета этого университета. Председатель Проблемного совета Минвуза РСФСР «Методология науки и научно-технический прогресс». Председатель Комитета по проведению олимпиад при Президиуме С0 АН СССР (1970 - 1973). Член Международной ассоциации символической логики.

Награжден орденами Трудового Красного Знамени, «Знак Почета», медалью.

Член Библиотечного совета при Президиуме СО АН СССР (1976 - 1983), Председатель Библиотечного совета (1983 - 1990).