Foundations of mathematics : - Engeler, Erwin (Springer-Verlag, 1993)