1st Semester 2007/08: Formal models for sophisms Instructors S. Uckelman ECTS 6 References http://staff.science.uva.nl/~suckelma/projectjan2008.html