Introduction to logic - Suppes, Patrick Colonel 1922- (The University series in undergraduate mathematics, 1960)