University of Calgary

CSLI Lecture Notes online and free

Submitted by Richard Zach on November 4, 2007 - 4:26pm.

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)

Oooh, the Linguistics of
Submitted by Nicole (not verified) on November 4, 2007 - 4:57pm.

Oooh, the Linguistics of Punctuation.What?Nice find Richard.

Awesome. I was tempted to
Submitted by Ray (not verified) on November 5, 2007 - 10:37pm.

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
Submitted by lumpy pea coat (not verified) on November 12, 2007 - 2:49pm.

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