Logic Add New Item

Show me     which are     long and      

Quick searches: Learning Plans | Short Videos | Learn By Doing | Books | Challenging | Visual | All

  Books

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