Logic
- related_topics:
- curators:
Apps
Articles
Audio, Podcasts
Blogs
Books
📖 Introduction to Lambda Calculus (2000)📖 The Haskell road to logic, math and programming (2004)📖 Logicomix (2008)- forallx: Cambridge (2017) - Covers both truth-functional logic and first-order logic, introducing students to semantics and to a Fitch-style natural deduction system.
- Teach Yourself Logic (2017) by Peter Smith