Career
He has published numerous volumes on philosophers and mathematicians. His own research was in computability theory. In 1954, with his doctoral advisor Karl Schröter, He co-founded the journal Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, which later became Mathematical Logic Quarterly.