Mathematical introduction to logic - Enderton, Hobert B (New Delhi Academic Press, 2006)