forall x: Calgary (An Introduction to Formal Logic)

forallx.openlogicproject.orgsite

P.D. Magnus and Tim Button, remixed by Aaron Thomas-Bolduc and Richard Zach (Open Logic Project).

from

Math

added

2026-10-10

likes

0

similar

1. ▲

   An Introduction to Formal Logic fecundity.com

   P.D. Magnus (University at Albany).

   site topic math link ↗
   site
2. ▲

   Functional Analysis maths.lancs.ac.uk

   Alexander C. R. Belton.

   site topic math link ↗
   site
3. ▲

   Formal Logic maude.sip.ucm.es

   Miguel Palomino.

   site topic math link ↗
   site
4. ▲

   Introduction to Logic logic.stanford.edu

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

   site topic math link ↗
   site
5. ▲

   Logic and Proof avigad.github.io

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

   site topic math link ↗
   site
6. ▲

   LORE arxiv.org

   site topic ai link ↗
   

Math › Foundations and Logic > Logic: “P.D. Magnus and Tim Button, remixed by Aaron Thomas-Bolduc and Richard Zach (Open Logic Project).”