A Mathematical Introduction To Logic by Herbert B. Enderton & Herbert Enderton