Fue el autor de "Introducción a la lógica y a la metodología de las ciencias deductivas" en el año 1941 y "La concepción semántica de la verdad y los fundamentos de la semántica" en 1944.