Corrigé du TD de Logique 2 (Ordinaux)

Termes manquants :


moved 257219
moved 197953
moved 118751
moved 10604
moved 63571
moved 83850