Synthèse bibliographique du prouveur automatique Goéland.
Travail épistémologique relatant sur un historique rapide de la logique.