A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Daniel LASCAR |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Logique mathématique. 1 / René CORI (DL 2003)
Titre : Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur ; Jean-Louis KRIVINE, Préfacier, etc. Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-385 p. ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Anglais Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; Jean-Louis KRIVINE, Préfacier, etc. . - Malakoff : Dunod, DL 2003 . - XV-385 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005452-7
Langues : Anglais
Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23040 COR/02/11185-I Livre Recherche Salle Disponible 19528 COR/02/7888-I Livre Recherche Salle Disponible Logique mathématique. 2 / René CORI (DL 2003)
Titre : 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 Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. 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 [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Malakoff : Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Langues : Anglais
Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19529 COR/02/7888-II Livre Recherche Salle Disponible