En attendant d'autres informations, j'ai placé une liste bibliographique vous indiquant le matériel avec lequel nous allons travailler. Selon l'organisation définitive du séminaire, cette liste peut être complétée ou modifiée.

Nous nous concentrerons sans doute d'abord sur la logique de premier ordre. Eventuellement, nous ferons quelques brefs rappels sur le langage propositionnel. Dans tous les cas, vous pouvez vous (re)familiariser avec la logique propositionnelle en utilisant ce document.