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