A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Jean-Louis KRIVINE |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesÉléments de logique mathématique / Georg KREISEL (Cop. 1967)
Titre : Éléments de logique mathématique : théorie des modèles Type de document : texte imprimé Auteurs : Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur Editeur : Paris [France] : Dunod Année de publication : Cop. 1967 Collection : Monographies de la société mathématique de France num. 3 Importance : VII-212 p. Langues : Français Catégories : 03-02
03CxxMots-clés : logique théorie des modèles Note de contenu : bibliogr. Éléments de logique mathématique : théorie des modèles [texte imprimé] / Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur . - Paris (France) : Dunod, Cop. 1967 . - VII-212 p.. - (Monographies de la société mathématique de France; 3) .
Langues : Français
Catégories : 03-02
03CxxMots-clés : logique théorie des modèles Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 216 KRE/02/3003 Livre Recherche Salle Disponible 21022 KRE/02/8895 Livre Recherche Salle Exclu du prêt i678 KRE/02/i678 a Livre Recherche Salle Disponible i678b KRE/02/i678b b Livre Recherche Salle Exclu du prêt
Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Masson Année de publication : DL 1990 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : VIII-176 p. ISBN/ISSN/EAN : 978-2-225-82091-5 Langues : Français Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Lambda-calcul : types et modèles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - Paris : Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français
Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible
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 Sous-espaces de L1 (2ème version) / Didier DACUNHA-CASTELLE (1975)
Titre : Sous-espaces de L1 (2ème version) Type de document : monographie Auteurs : Didier DACUNHA-CASTELLE, Auteur ; Jean-Louis KRIVINE, Auteur Editeur : Orsay : Université Paris XI Année de publication : 1975 Collection : Publication mathématique d'Orsay num. 168-75.48 Importance : 51 p. Langues : Français Mots-clés : sous espace de L1 Note de contenu : bibliogr. Sous-espaces de L1 (2ème version) [monographie] / Didier DACUNHA-CASTELLE, Auteur ; Jean-Louis KRIVINE, Auteur . - Orsay : Université Paris XI, 1975 . - 51 p.. - (Publication mathématique d'Orsay; 168-75.48) .
Langues : Français
Mots-clés : sous espace de L1 Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20434 DAC/60/TAF 200 Livre Recherche Salle Disponible
Titre : Théorie axiomatique des ensembles Type de document : texte imprimé Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Presses Universitaires de France Année de publication : Cop. 1969 Collection : Collection sup Sous-collection : Le mathématicien num. 1 Importance : 118 p. Langues : Français Mots-clés : théorie axiomatique des ensembles Note de contenu : bibliogr. Théorie axiomatique des ensembles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - [S.l. : s.n.], Cop. 1969 . - 118 p.. - (. Le mathématicien; 1) .
Langues : Français
Mots-clés : théorie axiomatique des ensembles Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5603 KRI/02/3617 Livre Recherche Salle Disponible 5514 KRI/02/4080 b Livre Recherche Salle Disponible 3786 KRI/02/4080a Livre Recherche Salle Disponible
Permalink
