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