Agrégation de mathématiques
Option Informatique
Logique

Gilles Dowek et Sylvain Schmitz

Logique du premier ordre : syntaxe et sémantique. I

Logique du premier ordre : syntaxe et sémantique. II

Théories et modèles en logique du premier ordre. Exemples. I

Théories et modèles en logique du premier ordre. Exemples. II

Théories et modèles en logique du premier ordre. Exemples. III

Le lambda-calcul I.