2 books in this genre
Logische Grundlagen der Mathematik
Ralf-Dieter Schindler
Einführung in das mathematische Arbeiten
Hermann Schichl
