In case you missed this over at Richard Zach’s blog, here’s a link to an excellent page by Henri Galinon which in turn links to freely available logic texts and surveys of various kinds. Very well worth checking out. [Link updated!]
Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Hello Peter,
thanks for advertising my “logic tutorials” page on your blog.
Unfortunately, I have no more access to the back-office of that page. It follows that I cannot update it, nor delete it.
Consequently I have moved the whole thing, with links restored etc, to the following URL :
http://sites.google.com/site/theoremeorg/
All the best,
Henri