Logic and Proof

avigad.github.iosite

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

from

Math

added

2026-10-10

likes

0

similar

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

   site category #math link ↗

   Joy Morris, Dave Morris.

2. ▲
   Proofs and Types paultaylor.eu

   site category #math link ↗

   Jean-Yves Girard.

3. ▲
   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.

4. ▲
   Introduction to Logic logic.stanford.edu

   site category #math link ↗

   Michael Genesereth, Eric J. Kao (Stanford University).

5. ▲
   Lean Proof Assistant lean-lang.org

   site category #theoretical-computer-science link ↗

   Lean Proof Assistant.

   
6. ▲
   Book of Proof richardhammack.github.io

   site category #math link ↗

   Richard Hammack (Virginia Commonwealth University).

Math › Foundations and Logic > Logic: “Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn.”