7 Resources

Most of what used to be on this page is in the Resources chapter of LACI, and more besides.

I host Brad Lushman’s version of my CS 245 slides from 2007 for those who want a look at a more conventional approach to logic and computation.