TD de Logique 4 : Définissabilité, Calcul des séquents (corrigé)
Exercice 1. 1. (a) Le théorème des quatre carrés de Lagrange donne ... Définition. ? : S ? S est un morphisme de L-structure si pour tout L-terme t ...
Exercice 1. 1. (a) Le théorème des quatre carrés de Lagrange donne ... Définition. ? : S ? S est un morphisme de L-structure si pour tout L-terme t ...