Logic: Lecture 18, 25 October 2012
----------------------------------
 
Build-up to Goedel's Incompleteness theorem:

Summary of Sections 3.3 and 3.4 from Enderton

Notes to be written