L:s arbeten har en stor spännvidd från metamatematik och matematikens grundvalar till vetenskapsteori och etik. Central inom hans produktion är boken Einführung in die operative Logik und Mathematik (1955; ”Introduktion till den operativa matematiken och logiken”) som är ett försök att bygga upp logiken och matematiken konstruktivt såsom teorier