Lecturer

		room	consultation hours
VO	Aart Middeldorp	3M07	Wednesday	11:30 – 13:00

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