Werke:
- Formale Logik : eine philosophische Einführung
- Wozu Wissenschaftsphilosophie? : Positionen u. Fragen zur gegenwärtigen Wiss.-Philosophie
- Die Mathematisierung der Wissenschaften : [interdisziplinäre Vortragsreihe d. Univ. Zürich u.d. Eidgenöss. Techn. Hochsch. Zürich Sommer 1981]
- Formale Logik : eine philosophische Einführung