Logic
Notes
Links
forallx: Cambridge book - Covers both truth-functional logic and first-order logic, introducing students to semantics and to a Fitch-style natural deduction system.
Last updated
forallx: Cambridge book - Covers both truth-functional logic and first-order logic, introducing students to semantics and to a Fitch-style natural deduction system.
Last updated