A mathematical introduction to logic - Enderton, Herbert B. (Acad. Press, 1993)