Proofs and Concepts: the fundamentals of abstract mathematics

deductivepress.casite

Joy Morris, Dave Morris.

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   Proofs and Types paultaylor.eu

   site category #math link ↗

   Jean-Yves Girard.

2. ▲
   Logic and Proof avigad.github.io

   site category #math link ↗

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

3. ▲
   Book of Proof richardhammack.github.io

   site category #math link ↗

   Richard Hammack (Virginia Commonwealth University).

4. ▲
   Mathematical Reasoning: Writing and Proof tedsundstrom.com

   site category #math link ↗

   Ted Sundstrom.

5. ▲
   Language, Proof, and Logic, Second Edition press.uchicago.edu

   site category #math link ↗

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

   
6. ▲
   Mathematics for Computer Science ocw.mit.edu

   site category #math link ↗

   Free MIT OpenCourseWare course with an open textbook, videos, notes, problem sets, and exams on proofs, discrete structures, counting, graphs, modular arithmetic, and discrete probability.

   

Math › Foundations and Logic > Logic: “Joy Morris, Dave Morris.”