Foundations of mathematics questions of analysis,geometry & algorithmics - Engeler, Erwin (Springer - Verlag, 1983)