Language, Proof, and Logic, Second Edition

press.uchicago.edusite

Paid textbook by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   How to Prove It: A Structured Approach (3rd Edition) cambridge.org

   site category #math link ↗

   Paid textbook by Daniel J. Velleman.

2. ▲
   Proofs and Concepts: the fundamentals of abstract mathematics deductivepress.ca

   site category #math link ↗

   Joy Morris, Dave Morris.

3. ▲
   Book of Proof richardhammack.github.io

   site category #math link ↗

   Richard Hammack (Virginia Commonwealth University).

4. ▲
   Mathematical Logic sgslogic.net

   site category #math link ↗

   Stephen G. Simpson (Pennsylvania State University).

5. ▲
   Krantz. Handbook of Logic and Proof Techniques for Computer Science maa.org

   site category #theoretical-computer-science link ↗

   A concise offered as an accessible reference on mathematical logic for the professional computer scientist.

6. ▲
   Logic and Proof avigad.github.io

   site category #math link ↗

   Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn.

Math › Foundations and Logic > Logic: “Paid textbook by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.”