Es autor, entre otras obras, de "Elementos de lógica matemática", "La silogística de Aristóteles desde el punto de vista de la lógica formal moderna", "Sobre la teoría intuicionista de la deducción", "Un sistema de lógica modal", y "El principio de individuación".