Logique

Hubert Comon, Gilles Dowek et Guillaume Genestier

La logique des prédicats

Exemples de théories

Le théorème de Church

Conséquences de l'incomplétude de l'arithmétique - Des théories décidables

La démonstration automatique

La Résolution

L'unification