Grundzüge der modernen Analysis - Dieudonné, Jean Alexandre 1906-1992 (Logik und Grundlagen der Mathematik, 1972)