A mathematical introduction to logic - Enderton, Herbert B. (Acad. Pr., 1995)