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

LANGUAGE, TRUTH AND LOGIC is the classic work of philosophy by Alfred Jules Ayer published in 1936 when Ayer was 26 (though it was in fact completed by age 25).

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

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

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to