header
cover

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

Cote : [90 TUR 10]

cover

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]

cover

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]

cover

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

Cote : [11 MAL 73]

cover

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

Cote : [30 POH 87]

cover

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

Cote : [05 DEV 73]