1 - Théorie des files d'attente : des chaînes de Markov aux réseaux à forme produit
Baynat, Bruno

Cote : [72.7 BAY 00]

2 - Homotopy quantum field theory
Turaev, Vladimir G. (1954-....)   /   Müger, Michael (1965-) (Collab.)   /   Virelizier, Alexis (1974-) (Collab.)

Cote : [90 TUR 10]

3 - 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]

4 - 1 : Sur les représentations linéaires ultramétriques des groupes compacts. 2 : Ultraproduits ultramétriques
Diarra, Bertin   /   Guillaume, Marcel (1928-2016) (Directeur de Thèse)   /   Aribaud, François (Jury)   /   Auslender, Alfred (1939-....) (Jury)    /   Haddad, L. (Jury) And Al

Cote : [Thèse E290-81]

5 - A tribute to Maurice Boffa : Programme des journées du soixantième anniversaire de Maurice Boffa, Université libre de Bruxelles, 23 mars 2000 ; Université de Mons Hainaut, 24 et 25 mars 2000, Belgique
Crabbé, Marcel (1947-....) (Ed.)   /   Boffa, Maurice (1939-2001)   /   Point, Françoise (Ed.)   /   Michaux, Christian (Ed.)

Cote : [00 CRA 01]

6 - Algebraic systems
Mal'cev, Anatolii Ivanovich (1909-1967)   /   Seckler, Bernard D. (Trad.)   /   Doohvskoy, A. P. (Trad.)

Cote : [11 MAL 73]

7 - Algorithmic methods in algebra and number theory
Pohst, Michael E. (Ed.)   /   Zassenhaus, Hans J. (Dedic.)

Cote : [30 POH 87]

8 - An introduction to model theory
Mijajlovic, žArko

Cote : [05 MIJ 87]

9 - Applications of model theory to algebra, analysis, and probability : symposium held at the California Institute of Technology, from May 23 to 26, 1967
Luxemburg, Wilhelm A. J. (1929-....) (Ed.)

Cote : [05 LUX 69]

10 - Aspects of constructibility
Devlin, Keith J. (1947-....)

Cote : [05 DEV 73]