M2 LMFI – Cours fondamentaux 1 et 2, Feuilles d'exercices 13–14

CF 1 Théorie des modèles et théorie des ensembles



CF 2 Calculabilité et incomplétude