Математическая логика, 2013: t.p. (А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; редкол.: с. Г. Е. Минц (отв. ред.) и др.)

Видный представитель российской школы математического конструктивизма. Окончил механико-математический факультет МГУ, где работал с 1966 г. С 1983 г. жил в Венгрии, заведовал каф. вычисл. математики ун-та им. Л. Кошута (г. Дебрецен). В 1988 г. Венгерской Академией наук ему была присвоена степень доктора наук. Автор фундаментальных трудов по теоретико-модельным и теоретико-доказательственным основаниям интуиционистской логики, конструктивным методам нестандартного анализа.