A course in mathematical logic - Manin, Yu. I. (New York Springer Verlag, 1977)
Keywords: Logic, Symbolic and mathematical