The course will strictly follow Raymond Smullyan's book of the same title (see below for details). The book examines Gödel's theorems and some related theorems (Tarski, Shepherdson) in a rather broad and general framework.. It contains a number of exercises that contribute significantly to understanding. Classes usually start with some of these problems (I always tell you which ones to try to solve in the previous class). Your grade will depend on your achivement in problem solving. 

Prerequisite:

Literature: