Introduction to logic - Suppes, Patrick Colonel 1922- (1960)