A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Krivine, Jean-Louis
Documents disponibles écrits par cet auteur
Affiner la rechercheInteractive models of computation and program behavior / Pierre-Louis Curien
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18890 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 21864 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Logique mathématique t.1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis, Préfacier, etc. Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv 385 p. ISBN/ISSN/EAN : 978-2-225-84079-1 Langues : Français Mots-clés : logique mathematique calcul propositionnel algebres de boole predicats Index. décimale : 103I Logique mathématique t.1 = Cours et exercices : Calcul propositionnel, algèbres de Boole, calcul des prédicats [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis, Préfacier, etc. . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv 385 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) .
ISBN : 978-2-225-84079-1
Langues : Français
Mots-clés : logique mathematique calcul propositionnel algebres de boole predicats Index. décimale : 103I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11119 103I01 imprimé / autre CRDM 103/DEUG ET MATHEMATIQUES SPECIALES Disponible
Titre : Logique mathématique t.2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv - 347 p. ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Logique mathématique t.2 = Cours et exercices : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv - 347 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) .
ISBN : 978-2-225-84080-7
Langues : Français
Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11118 103I02 imprimé / autre CRDM 103/DEUG ET MATHEMATIQUES SPECIALES Disponible
Titre : Séminaire sur la géométrie des espaces de banach 1977-78 Type de document : texte imprimé Auteurs : Krivine, Jean-Louis ; Beauzamy, B. ; D. Choodnovsy Editeur : Palaiseau : Ecole Polytechnique, Centre de Mathématiques Année de publication : 1978 Importance : Multiples Langues : Français Mots-clés : geometrie espaces de banach Index. décimale : SEMINAIRE Séminaire sur la géométrie des espaces de banach 1977-78 [texte imprimé] / Krivine, Jean-Louis ; Beauzamy, B. ; D. Choodnovsy . - Palaiseau : Ecole Polytechnique, Centre de Mathématiques, 1978 . - Multiples.
Langues : Français
Mots-clés : geometrie espaces de banach Index. décimale : SEMINAIRE Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9574 Séminaire imprimé / autre CRDM SEMINAIRES Disponible
Titre : Théorie axiomatique des ensembles Type de document : texte imprimé Auteurs : Krivine, Jean-Louis Editeur : Paris : Presses universitaires de france Année de publication : 1969 Collection : Le Mathématicien num. 01 Importance : 118 p. Langues : Français Index. décimale : 03C Monographie Théorie axiomatique des ensembles [texte imprimé] / Krivine, Jean-Louis . - Paris : Presses universitaires de france, 1969 . - 118 p.. - (Le Mathématicien; 01) .
Langues : Français
Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8375 03C94 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 8377 03C94 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Permalink
Permalink
