Lucid, non-intimidating presentation suitable for high school students explores propositional logic, propositional calculus, and predicate logic. Applications include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. 1970 edition.