Documents

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(20)

analyse fonctionnelle

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(18/2)

espace de Banach

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(18/1)

espace de Banach

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(16)

espace de Banach

... Lire [+]

Sélection

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

V

Panoramas et synthèses

Cote : M/A31(27)
ISBN/ISSN : 978-2-85629-273-0

démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique des jeux

... Lire [+]

Sélection

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

V

Nouvelle bibliothèque mathématique

Cote : KRIVINE t
ISBN/ISSN : 2-84225-014-1

ensemble ; théorie axiomatique des ensembles

... Lire [+]

Sélection

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

V

Axiomes

Cote : CORI l II
ISBN/ISSN : 2-225-84080-6

logique

... Lire [+]

Sélection

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

V

Axiomes

Cote : CORI l I
ISBN/ISSN : 2-225-84079-2

logique

... Lire [+]

Sélection

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

V

Hochschultext

Cote : KREISEL m
ISBN/ISSN : 3-540-05654-8

logique ; modèle

... Lire [+]

Sélection

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

V

Collection sup : Le mathématicien

Cote : KRI 01

théorie axiomatique des ensembles

... Lire [+]

Sélection

Documents Krivine, Jean-Louis 15 résultats

Séminaire d'analyse fonctionnelle : 1983-1984, Paris VII-VI Beauzamy, Bernard ; Krivine, Jean-Louis ; Maurey, Bernard ; Pisier, Gilles | Université de Paris 7 1984 Nouveau

Séminaire de géométrie des espaces de Banach : Paris VII - (1983). Tome 2 Beauzamy, Bernard ; Krivine, Jean-Louis ; Maurey, Bernard | Université de Paris 7 1983 Nouveau

Séminaire de géométrie des espaces de Banach : Paris VII - (1983). Tome 1 Beauzamy, Bernard ; Krivine, Jean-Louis ; Maurey, Bernard | Université de Paris 7 1983 Nouveau

Séminaire de géométrie des espaces de Banach : Paris VII - (1982) Beauzamy, Bernard ; Krivine, Jean-Louis ; Maurey, Bernard | Université de Paris 7 1982 Nouveau

Interactive models of computation and program behavior Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André | SMF 2009 Nouveau

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

Logique mathématique : Cours et exercices, Vol. II : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis | Masson 1993 Nouveau

Logique mathématique : Cours et exercices, Vol. I : Calcul propositionnel, algèbres de Boole, calcul des prédicats Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis | Masson 1993 Nouveau

Modelltheorie : Eine Einführung in die mathematische Logik und Grundlagentheorie Kreisel, Georg ; Krivine, Jean-Louis | Springer 1972 Nouveau

Théorie axiomatique des ensembles Krivine, Jean-Louis | PUF 1972 Nouveau