« Abstract Stone Duality | Main | Online semantics textbook »
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 May 16, 2005 10:58 AM