TD de Logique 4 : Définissabilité, Calcul des séquents (corrigé)
Exercice 1. ... existent bien (penser à un exercice du premier TD et au groupe de Galois de C sur Q(a1,··· ... (a) A est de dimension finie et dimB = dimA;.
Exercice 1. ... existent bien (penser à un exercice du premier TD et au groupe de Galois de C sur Q(a1,··· ... (a) A est de dimension finie et dimB = dimA;.