A formal background to mathematics : a critical approach to elementary analysis. 2B - Edwards, Robert E. 1926- (Springer Verlag, 1980)