3 résultats

Visualiser le document
Monographie
Théorie des ensembles
Cassini
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