Some 40 years after its original publication (Blaisdell Publishing Co., 1964), this reprint makes available Suppes' and Hill's (both, Stanford U.) text, which aims to provide an accessible and clear presentation of mathematical logic for high school and elementary college mathematics classrooms. Coverage includes the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of communicative groups. Annotation c. Book News, Inc., Portland, OR (booknews.com)