Agrégation de mathématiques
Option Informatique
Logique

Gilles Dowek et Sylvain Schmitz

Logique du premier ordre : syntaxe et sémantique I