Formal background to mathematics Logic,sets and numbers - Edwards R E (New-York Springer-Verlag, 1979)
Keywords: Mathematical logic