Computability and logic
Boolos, George.
Jeffrey, Richard C.
Cambridge : Cambridge University Press,
1989.
Logic, Symbolic and mathematical.