Dalla Rivoluzione a Stalin. La lotta per la logica matematica in Unione Sovietica