Su trabajo en lógica matemática tuvo importancia en el desarrollo de la misma en la antigua Unión Soviética.