m

Bibliothèques de mathématique et de l'IREM

Documents  Krivine, Jean-Louis | enregistrements trouvés : 12

O
K L Q M | g | F x r
     

-A +A

P Q

Krivine, Jean-Louis

MathCongrès
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Séminaire de géométrie des espaces de Banach. Vol. 2 Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, B.. -Paris : UER de mathématiques ; Université Paris VII , 1984 . - 254 p. ; 22 cm


MathCongrès

espace de Banach

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Séminaire de géométrie des espaces de Banach. Vol. 1 Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, B.. -Paris : UER de mathématiques ; Université Paris VII , 1984 . - 119 p. ; 22 cm


MathCongrès

espace de Banach

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Seminaire d'analyse fonctionnelle Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, Bernard ; Ed. Pisier, Gilles. -Paris : Université Paris VII , 1984 . - 184 p. ; 22 cm


MathCongrès

analyse fonctionnelle

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Séminaire de géométrie des espaces de Banach Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, B.. -Paris : UER de mathématiques ; Université Paris VII , 1983 . - 160 p. ; 22 cm


MathCongrès

espace de Banach

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Séminaire Bourbaki. 21e année : Vol. 1968-1969 : exposés 353-357 Bombieri, Enrico ; Cartan, Henri ; Deligne, Pierre ; Koszul, Jean-Louis ; Krivine, Jean-Louis ; Thompson, John G.. -Paris : Bourbaki , 1968 . - pag. mult. ; 29 cm
http://www.numdam.org/journals/SB


MathCongrès

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

MathOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Interactive models of computation and program behavior Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André. -Paris : Société mathématique de France , 2009 . - xvi, 275 p. ; 24 cm
ISBN 9782856292730
https://smf.emath.fr/les-publications?field_publication_collection[]=160&field_type_of_publication[]=123


MathOuvrage

théorie de la démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logique mathématique. T. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Dunod , 2003 . - xv, 347 p. ; 24 cm
ISBN 9782100054534


MathOuvrage

logique ; fonction récursive ; théorie des ensembles ; théorie des modèles

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Théorie des ensembles Krivine, Jean-Louis. -Paris : Cassini , 1998 . - 273 p. ; 23 cm


MathOuvrage

théorie des ensembles

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logique mathématique. Cours et exercices. T. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Masson , 1993 . - xv, 324 p. ; 24 cm


MathOuvrage

algèbre de Boole ; calcul des prédicats ; théorème de complétude

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Sous-espaces de L1 (2ème version) Dacunha-Castelle, Didier ; Krivine, Jean-Louis. -Orsay : Université Paris XI , 1975 . - 51 p. ; 30 cm
https://bibliotheque.imo.universite-paris-saclay.fr/bibliotheques-numeriques/publications/publis-avant-1995/ ; http://sites.mathdoc.fr/PMO/


MathOuvrage

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Théorie axiomatique des ensembles Krivine, Jean-Louis. -Paris : Presses universitaires de France , 1972 . - 144


MathOuvrage

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Eléments de logique mathématique : théorie des modèles Kreisel, G. ; Krivine, Jean-Louis. -Paris : Dunod , 1967 . - viii, 212


MathOuvrage

logique mathématique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z