Eine epistemische Interpretation der intuitionistischen Logik
Würzburg 1990. 138 S.
Denkformen
Berlin 1950. 454 S.
Kritik der logischen Konstanten
Berlin 1968. 687 S.
Metalogik und Sprachanalyse
Freiburg i.Br. 1973. 156 S.
Untersuchungen zu einer hermeneutischen Logik
Frankfurt am Main 1938. 142 S.
Methodisches Denken
Frankfurt am Main 1974. 161 S.
Logik, Bedeutung und Mathematik
Stuttgart 1987. 152 S.
Logik und Existenz
Meisenheim 1954. 153 S.
Folgerichtig denken
Darmstadt 1988. 188 S.
Beiträge zur Philosophie der Logik und Mathematik
Frankfurt am Main 1959. 125 S.