A formal background to mathematics - Edwards, R. E. 1926- (Robert E.) (Springer Verlag, 1979)
τ. 1.1. - xxxiv, 467 σ. - 1979 – τ. 1.2. - (469-933) σ. - 1979 – τ. 2.1. - xlvii, 606 σ. - 1980 – τ. 2.2. - (608-1170) σ. - 1980.