Part of a full course in logic, from beginner to Godel's incompleteness theorems. While the course is aimed largely at philosophers and others with limited mathematical background it might nevertheless benefit some mathematicians and computer scientists. Visit our website, www.study-source.org, for more.