Modern logic: an introduction. - Thomas, Norman L. (New York Barness & Noble, 1966)