4 works on record
Axiomatic Set Theory
Philosophie des Mathematiques
Grundlagen der Mathematik - I
Grundlagen der Mathematik II