Introduction to Logic

Fall Semester, Year 2000

Introductory Materials [Description, Syllabus]

Logic Primer Proof Checker [The Logic Daemon]

Some notes about Proof Checker [N1, N2]

Homework Sets [HW1, HW2, HW3]

Review Sets [RS1, RS2, RS3]