Logblog: Richard Zach's Logic Blog
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)
- Richard Zach's blog
- Log in to post comments
Search
Old Blog Posts
- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"
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!)