logic Add New

Quick search: short videos, learn by doing, books, challenging, visual, try your own advanced search

Books

Introduction to Lambda Calculus (2000)
The Haskell road to logic, math and programming (2004)
Logicomix (2008)
forallx: Cambridge (2017)
Teach Yourself Logic

Q & A forums

Logic

Wikis

Main Wikipedia: Logic
Simple Wikipedia: Logic