University of Calgary
UofC Navigation

CSLI Lecture Notes online and free

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Submitted by Richard Zach on Sun, 11/04/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)

Comments

Submitted by Nicole on Sun, 11/04/2007 - 4:57pm

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

Submitted by Ray on Mon, 11/05/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!

Submitted by lumpy pea coat on Mon, 11/12/2007 - 2:49pm

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