Su trabajo se centró en la lógica.