The language of logic;: A programed text

This programed text deals extensively with the problems of interpretation and translation between English sentences and formulas of modern symbolic logic. Beginning with elementary sentential formalism, the reader gradually learns to handle the formulas of the predicate calculus (with identity) and some from logical set theory. Novel programing techniquest result in a text that the student can work through in 6.5 hours.