Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in l

"A delightful book … I should like to have written it myself." — Bertrand Russell First published in 1936, this first full-length presentation in English of

The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction to sym

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositi