En 1941 publicó en inglés uno de los manuales de lógica más acreditados, "Introduction to Logic and to the Methodology of Deductive Sciences".