Además hizo importantes aportes en lógica computacional.