Modern logic an introduction - Thomas, Norman L. (Univ. Press of America, 1984)