Grundlagen der Mathematik - Hilbert, David; Bernays, Paul (Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, 40, 1968)