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)
CSLI Lecture Notes online and free
by
Tags:
Comments
3 responses to “CSLI Lecture Notes online and free”
-
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!)
Leave a Reply