Grundzuge der modernen Analysis - Dieudonne, J. (Logik und Grundlagen der Mathematik, 1976)