Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Auteur J.-L. KRIVINE
|
|
Documents disponibles écrits par cet auteur (4)
Faire une suggestion Affiner la recherche
Titre : Lambda-calcul : type et modèles Type de document : texte imprimé Auteurs : J.-L. KRIVINE, Auteur Editeur : Masson Année de publication : 1990 Importance : 176 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-82091-5 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Mathématiques appliquées Index. décimale : 04-08 Mathématiques appliquées Lambda-calcul : type et modèles [texte imprimé] / J.-L. KRIVINE, Auteur . - Masson, 1990 . - 176 p. ; 25 cm.
ISBN : 978-2-225-82091-5
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Mathématiques appliquées Index. décimale : 04-08 Mathématiques appliquées Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000420784 04-08-46 Livre Salle 1 Documentaires Exclu du prêt 61217
Titre : Logique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats Type de document : texte imprimé Auteurs : CORI.R, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. Editeur : Masson Année de publication : 1994. Importance : 385 p. Format : 25 cm. ISBN/ISSN/EAN : 2-225-64079-2 Note générale : Index Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercicesLogique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats [texte imprimé] / CORI.R, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994. . - 385 p. ; 25 cm.
ISSN : 2-225-64079-2
Index
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercicesExemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000118495 04-07-24 Livre Salle 1 Documentaires Exclu du prêt 62917 Documents numériques
SommaireAdobe Acrobat PDF
Titre : Logique mathématique T.2 : 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 ; J.-L. KRIVINE, Préfacier, etc. Editeur : Masson Année de publication : 1994 Collection : Axiomes Importance : 347 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84080-7 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices.Logique mathématique T.2 : 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 ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994 . - 347 p. ; 25 cm.. - (Axiomes) .
ISBN : 978-2-225-84080-7
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices.Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000422004 04-07-25 Livre Salle 1 Documentaires Exclu du prêt 62921 Documents numériques
SommaireAdobe Acrobat PDF
Titre : Logique mathématique T.2 (licence, master) : 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 ; J.-L. KRIVINE, Préfacier, etc. Editeur : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 347 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Logique mathématique T.2 (licence, master) : 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 ; J.-L. KRIVINE, Préfacier, etc. . - Dunod, 2003 . - 347 p. ; 25 cm.. - (Sciences SUP) .
ISBN : 978-2-10-005453-4
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000894491 04-07-37 Livre Salle 1 Documentaires Exclu du prêt 127950
