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

Elementary Logic has been noted since 1941 for scope and rigor. Quine provides techniques for the central business of modern logic, explaining formal concepts,

Elementary Applied Symbolic Logic was first published by Prentice-Hall in 1976. It went through two editions with them, then had a successful classroom run of 2

"Forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all o