« Fortress | Main | Stuff I read »
February 06, 2006
Online logic book
Wow, it's been a while since I have posted anything here! Well, it has been an astoundingly busy time, and I really ought to get back to posting more regularly. But for now, just adding one link, to a book on logic for CS by Jean Gallier.
Posted by Carette at February 6, 2006 09:40 PM