Lecturer

		room	consultation hours
VO	Aart Middeldorp	3M07	Monday	12:00 – 13:30

Time & Place

VO

Wednesday

12:15 – 14:00

3W04 (ICT building, 2nd floor)

Language

The course is taught in English.

Literature

The following book covers many of the topics discussed in the course:

• Melvin Fitting, First-Order Logic and Automated Theorem Proving (second edition), Springer, 1996, ISBN 978-1-4612-7515-2