4 résultats

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
La vie secrète des arbres: ce qu'ils ressentent, comment ils communiquent, un monde inconnu s'ouvre à nous
Wohlleben Peter, traduit de l'allemand par Corinne Tresca, Tresca Corinne | Éditions des Arènes | DL 2017
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
Visualiser le document
Article
Ernst Udet
MICELLI Corinne, FONCK René | 2007