Bibliothèque de Faculté de Génie Mécanique IGCMO
Auteur Daniel LASCAR
|
|
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
Titre : Logique mathématique : Calcul propositionnel, algèbre de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Dunod Année de publication : 2003 Importance : 385 P. Présentation : ill; Format : 17cm x 24cm ISBN/ISSN/EAN : 210005452x Langues : Français (fre) Catégories : Mathematique:07 Logique mathematique Mots-clés : calcul propositionnelles Algèbre de Boole calcule des prédicats Logique mathématique : Calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Dunod, 2003 . - 385 P. : ill; ; 17cm x 24cm.
ISSN : 210005452x
Langues : Français (fre)
Catégories : Mathematique:07 Logique mathematique Mots-clés : calcul propositionnelles Algèbre de Boole calcule des prédicats Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 127946 04-07-0036 Livre Bibliothèque IGCMO Documentaires Disponible
Titre : Logique mathématique : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Masson Année de publication : 1993 Collection : Axiomes, ISSN 1243-4264 Importance : 347 P. Présentation : ill, Format : 16cm x 24cm ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français (fre) Catégories : Mathematique:07 Logique mathematique Mots-clés : Logique mathématique Calcul propositionnel Algèbre de Boole Topologie Homomorphismes Syntaxe Les structures . Logique mathématique : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Masson, 1993 . - 347 P. : ill, ; 16cm x 24cm. - (Axiomes, ISSN 1243-4264) .
ISBN : 978-2-225-84080-7
Langues : Français (fre)
Catégories : Mathematique:07 Logique mathematique Mots-clés : Logique mathématique Calcul propositionnel Algèbre de Boole Topologie Homomorphismes Syntaxe Les structures . Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 62924 04-07-0025 Livre Bibliothèque IGCMO Documentaires Disponible
