En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Krivine, Jean-Louis 5 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Seminaire de geometrie des espaces de Banach Paris vii 1982 Beauzamy, Bernard ; Krivine, Jean-Louis ; Maurey, Bernard | U.E.R. De Math. & LA212 Du C.N.R.S. ; Universite Paris VII 1982

Congrès


Cote : 00006411
algèbre de disque # espace de James généralisé # espace de type ESA # forme multilinéaire # géométrie d'espace de Banach # opérateur se factorisant # opérateur sommant # plongement de signe # problème de relèvement # propriété de Grothendieck # propriété spectrale d'un opérateur de multiplication # spectre d'opérateur de convolution # suite de Cauchy faible # vecteur presque propre d'un opérateur

46-06 ; 46B20 ; 46Bxx ; 47A68

Localisation : Publication 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Interactive Models of Computation and Program Behavior Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André | Société Mathématique de France 2009

Ouvrage

- xvi, 275 p.
Cote : 00036021
Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux

03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Lambda-calcul types et modèles Krivine, Jean-Louis | Masson 1990

Ouvrage

- 176 p.
Cote : 00016128
fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

Localisation : Disparu;Ouvrge RdC (KRIV)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Théorie axiomatique des ensembles Krivine, Jean-Louis | Presses Universitaires de France 1969

Ouvrage


Cote : 00004302
cardinal # ensemble constructible # modèle de Fraenkel-Mostowski # théorie axiomatique des ensembles

04-01 ; 04A10 ; 04A25

Localisation : Disparu

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Théorie des ensembles Krivine, Jean-Louis | Cassini 1998

Ouvrage

- 273 p.
Cote : 00024397
théorie des ensembles # logique # modèle intérieur # axiome du choix # axiome de Zermelo-Frenkel # modèle de Fraenkel-Mostowski # ensemble constructible # théorème d'incomplétude de Göbel # Forcing # algèbre de Boole # arbre # exercice # indépendance de l'hypothèse du continu # indépendance de l'axiome du choix # chaîne # anti-chaîne

03-01 ; 03Exx ; 03-02 ; 03G05

Localisation : Ouvrage RdC (KRIV)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

Langue