header
cover

1 - Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-2]

cover

2 - Eléments de logique mathématique : théorie des modèles
Kreisel, Georg (1923-2015)   /   Krivine, Jean-Louis

Cote : [05 KRE 67]

cover

3 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]

cover

4 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé
Cori, René   /   Lascar, Daniel (1942-....)   /   Krivine, Jean-Louis (1939-....) (Préface)

Cote : [05 COR 93-1]

cover

6 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-1]

cover

7 - Séminaire d'analyse fonctionnelle 1983/1984 Paris VII - VI
Beauzamy, Bernard (1949-....) (Dir.)   /   Krivine, Jean-Louis (1939-....) (Dir.)   /   Pisier, Gilles (1950-....)   /   Maurey, Bernard (1948-....) (Dir.)

Cote : [42 BEA 85-20]

cover

8 - Séminaire de géométrie des espaces de Banach Paris VII - (1983) - Tome I
Beauzamy, Bernard (1949-....) (Dir.)   /   Krivine, Jean-Louis (1939-....) (Dir.)   /   Maurey, Bernard (1948-....) (Dir.)

Cote : [42 BEA 83-18-1]

cover

9 - Séminaire de géométrie des espaces de Banach. Paris VII - (1982)
Beauzamy, Bernard (1949-....)   /   Krivine, Jean-Louis (1939-....)   /   Maurey, Bernard (1948-....)

Cote : [42 BEA 83-16]