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