Homework: There will be no weekly homework.

Project:
   Students in consultation with me will pick a topic to study in depth.
   They will write a research paper on the topic and may give a 15 to 20 minute talk about it to the class if they so desire.

Exams: There will be no exams, but students will be expected to participate in class discussions.

Reading:

• There will be regular posted lecture notes that students should study and reference.
• We will study the book First-Order Logic by Smullyan [PDF] . We will cover only chapters I to III and IV to V.
• We will read parts of several fundamental articles that I will copy for the class.

There will be guest lectures the CS Dept researchers in applied logic and type theory.