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 (Cop. 1967) / Georg KREISEL
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 (fre) 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 . - Dunod, Cop. 1967 . - VII-212 p.. - (Monographies de la société mathématique de France; 3) .
Langues : Français (fre)
Catégories : 03-02
03CxxMots-clés : logique théorie des modèles Note de contenu : bibliogr. Réservation
Réserver ce document
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 Lambda-calcul (DL 1990) / Jean-Louis KRIVINE
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 (fre) 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 . - Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français (fre)
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. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible Sous-espaces de L1 (2ème version) (1975) / Didier DACUNHA-CASTELLE
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 (fre) 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 . - Université Paris XI, 1975 . - 51 p.. - (Publication mathématique d'Orsay; 168-75.48) .
Langues : Français (fre)
Mots-clés : sous espace de L1 Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20434 DAC/60/TAF 200 Livre Recherche Salle Disponible Théorie axiomatique des ensembles (Cop. 1969) / Jean-Louis KRIVINE
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 (fre) Mots-clés : théorie axiomatique des ensembles Note de contenu : bibliogr. Théorie axiomatique des ensembles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - , Cop. 1969 . - 118 p.. - (. Le mathématicien; 1) .
Langues : Français (fre)
Mots-clés : théorie axiomatique des ensembles Note de contenu : bibliogr. Réservation
Réserver ce document
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 Théorie des ensembles (1998) / Jean-Louis KRIVINE
Titre : Théorie des ensembles Type de document : monographie Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Cassini Année de publication : 1998 Collection : Nouvelle bibliothèque mathématique num. 5 Importance : 273 p. ISBN/ISSN/EAN : 978-2-84225-014-0 Langues : Français (fre) Catégories : 03Exx
04-01
04-02Mots-clés : théorie des ensembles modèle intérieur forcing Note de contenu : index Théorie des ensembles [monographie] / Jean-Louis KRIVINE, Auteur . - Cassini, 1998 . - 273 p.. - (Nouvelle bibliothèque mathématique; 5) .
ISBN : 978-2-84225-014-0
Langues : Français (fre)
Catégories : 03Exx
04-01
04-02Mots-clés : théorie des ensembles modèle intérieur forcing Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E490 KRI/CAE 450 Livre Enseignement Salle Disponible