Modern logic an introduction - Thomas, Norman L. (Barnes and Noble Inc., 1966)