Une introduction aux théorèmes d'incomplétudes de Godël par Hamza.
Trois exercices de révisions proposés en plus du partiel corrigé à Logique++.