3 résultats

Visualiser le document
Monographie
La théorie des modèles en peu de maux
Lascar Daniel | Cassini | DL 2009
Visualiser le document
Monographie
Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
Cori René, Lascar Daniel, Lascar, Daniel, Krivine Jean-Louis | Dunod | 2003
Visualiser le document
Monographie
Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
Cori René, Lascar Daniel, Lascar, Daniel 701$f 1942-...., Krivine Jean-Louis | Dunod | 2003
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)