Logik und Philosophie der Mathematik1. 1976