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
Affiner la recherche Interroger des sources externesLogique mathématique. 1 (DL 2003) / René CORI
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 Editeur : Paris [France] : 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 (eng) 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 . - Dunod, DL 2003 . - XV-385 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005452-7
Langues : Anglais (eng)
Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19528 COR/02/7888-I Livre Recherche Salle Sorti jusqu'au 06/05/2018 Logique mathématique. 2 (DL 2003) / René CORI
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 : Paris [France] : 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 (eng) 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 . - Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Langues : Anglais (eng)
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. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19529 COR/02/7888-II Livre Recherche Salle Disponible