CSLI Lecture Notes online and free

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)

3 thoughts on “CSLI Lecture Notes online and free

  1. Awesome. I was tempted to buy a used copy of the Propositional Attitudes collection on sale in Berkeley. Thanks for the link!

  2. I’m all pumped and everything, but what’s up with the quality? (Beggars can’t be choosers!)

Leave a Reply

Your email address will not be published. Required fields are marked *