Destacado representante de la escuela soviética de constructivismo matemático. Nació el 10 de abril de 1941 en la isla Morzhebiets (Región de Arjánguelsk, Rusia). Estudió en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, donde trabajó desde 1966. Desde 1983 vivió en Hungría. Dirigió el Departamento de Matemática de Cálculo de la Universidad «L. Kossuth» de la ciudad de Debrecen. La Academia de Ciencias de Hungría le otorgó el título de Doctor en Ciencias en 1988. Autor de trabajos fundamentales sobre los fundamentos de la teoría de modelos y la teoría de la demostración en la lógica intuicionista, y sobre los métodos constructivos en el análisis no estándar.