Durante las siguientes décadas, fue uno de los más brillantes lógicos de la URSS.