Mathematik, Logik und Erfahrung - Kraft, Victor (Springer, 1970)