This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. Accessible to high school students, the treatment also constitutes a valuable review of fundamentals for professionals. Each chapter concludes with a set of exercises, and supplements include three appendixes, two indexes, and a bibliography.