1. Das Wahrheitsproblem und die Idee der Semantik. Wien: Springer 1968
2. Unvollständigkeit und Unentscheidbarkeit. Wien: Springer 1973
3. Wissenschaftliche Erklärung und Begründung (Bibliotheksband). Berlin-Heidelberg-New York: Springer 1974. Dieser Band ist auch in den folgenden fünf getrennt erhältlichen Studienausgaben erschienen:
4. Teil 1: Das ABC der modernen Logik und Semantik. Der Begriff der Erklärung und seine Spielarten
5. Teil 2: Erklärung, Voraussage, Retrodiktion. Diskrete Zustandssysteme. Das ontologische Problem der Erklärung. Naturgesetze und irreale Konditionalsätze