Formal Background to mathematics - Edwards R E (New-Work Springer-Verlag, 1979)
Keywords: Mathematical logic