Es también considerado uno de los lógicos más importantes del siglo XX.