Modern logic : - Thomas, Norman L. (College outline series, 1966)