There is some excellent news, posted by Richard Zach. (Although, I imagine most of my readers will have seen this on his blog. I think this information should be spread as much as possible. It is a Very Good Thing.) The Association of Symbolic Logic has decided to release several out of print logic books for free through Project Euclid. These include books from the Perspectives in Logic series and the Lectures Notes in Logic series. They are available in chapter-by-chapter .pdf. Be careful about downloading a lot at once or your IP will get banned. As Richard says,
This includes classics like
- Shoenfield’s Recursion Theory,
- Lindström’s Aspects of Incompleteness in the LNL,
- Sack’s Higher Recursion Theory,
- Hájek and Pudlák’s Metamathematics of First-order Arithmetic,
- Shelah’s Proper and Improper Forcing,
- Barwise’s Admissible Sets and Structures, and
- Barwise and Feferman’s Model-theoretic Logics in the PiML.
It is an excellent selection of books. The Barwise volumes, in particular, are gems that are nigh impossible to obtain elsewhere. (HT: Richard Zach)
5 comments
Comments feed for this article
August 30, 2009 at 12:09 am
Ed Dean
Hey, those books aren’t about free logic. I call foul.
March 25, 2010 at 4:30 pm
Pragmatic Yankee - links for 2010-03-25
[…] Free logic books « Words and Other Things (tags: logic book) […]
March 26, 2010 at 1:32 am
links for 2010-03-25 « Blarney Fellow
[…] Free logic books « Words and Other Things (tags: book logic free math philosophy) […]
June 22, 2010 at 7:59 am
Tim
Does Euclid or ASL have any index or easy, consistent way to find the gratis texts?
July 9, 2011 at 1:11 am
Free logic books (via Words and Other Things) | First Praxis
[…] Free logic books (via Words and Other Things) Posted on July 9, 2011 by firstpraxis There is some excellent news, posted by Richard Zach. (Although, I imagine most of my readers will have seen this on his blog. I think this information should be spread as much as possible. It is a Very Good Thing.) The Association of Symbolic Logic has decided to release several out of print logic books for free through Project Euclid. These include books from the Perspectives in Logic series and the Lectures Notes in Logic series. They are avai … Read More […]