This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include compute

"This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mat

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computer

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple t

This volume offers a serious study of the fundamentals of symbolic logic that will neither frustrate nor bore the reader. The emphasis is on developing the stud