The Elements of Formal Logic

by G. E. Hughes, D. G. Londey

This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind.

The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view.

In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition.

398 pages, Hardcover

Published January 1, 1965