. Logik und Philosophie der Mathematik. 1976