Engeler, E. Metamathematik der Elementarmathematik E. Engeler - North-Holland North-Holland Pub. Co. 1983