PHI3005-A-A20 - Logique 3

Métalogique du calcul des prédicats du premier ordre avec et sans identité. Théorème de complétude. Théorème de Löwenheim-Skolem. Décidabilité et indécidabilité.