A course on mathematical logic - Srivastava, S. M. (New York Springer, 2008)
Keywords: Logic, Symbolic and mathematical