[FOM] Godel's Theorems: An Introduction

[Peter Smith]

FOMers with advanced undergraduates/graduate students doing a course on 
math logic and/or Gödel's Incompleteness Theorems might like to point them 
to the 160+ pages of my draft book available for download from 
www.godelbook.net.

Whatever the other virtues or vices of the book as it is developing, 
students here said they found the previous version "very accessible", 
"easier to follow than the other books". (My local audience are typically 
very bright students but without much math background.)

All feedback -- from students and their teachers alike -- always greatly 
appreciated, of course!

-- 
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
--
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/   
(for the "LaTeX for Logicians" page) 

-- 
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
--
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/   
(for the "LaTeX for Logicians" page)