Logblog: Richard Zach's Logic Blog

You are looking at an archived page. The website has moved to richardzach.org.
CSLI Lecture Notes are now part of the Stanford Medieval and Modern Thought Digitization Project. That means books such as Unger's Cut-elimination, Normalization, and the Theory of Proofs, Troelstra's Lectures on Linear Logic, Aczel's Non-well-founded Sets, van Benthem's Manual of Intensional Logic, and Goldblatt's Logics of Time and Computation are now available online and for free. (HT: Shawn)
Comments
Oooh, the Linguistics of Punctuation.What?Nice find Richard.
Awesome. I was tempted to buy a used copy of the Propositional Attitudes collection on sale in Berkeley. Thanks for the link!
I'm all pumped and everything, but what's up with the quality? (Beggars can't be choosers!)