Aunque su trabajo era unos de los primeros, era desconocido para la comunidad lógica más grande.