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 09:40 PM | Comments (0)
May 16, 2005
Interesting textbook
The logical foundations of Computer Science and Mathematics, despite the fancy title, looks like a good book on the topic.
The LtU thread on the topic is worth keeping track of.
Posted by Carette at 10:58 AM | Comments (0)