1 - Chain conditions in topology
Comfort, William Wistar (1933-....)   /   Negrepontis, Stylianos

Cote : [50 COM 82]

2 - Combinatorial set theory of C*-algebras
Farah, Ilijas (1966-....)

Cote : [08 FAR 19]

3 - Combinatory logic. Volume 1
Curry, Haskell Brooks (1900-1982)   /   Feys, Robert (1889-1961)   /   Craig, William (1918-....)

Cote : [05 CUR 58-1]

4 - Combinatory logic. Volume 2
Curry, Haskell Brooks (1900-1982)   /   Seldin, Jonathan Paul   /   Hindley, James Roger (1939-....)

Cote : [05 CUR 72-2]

5 - Foundations of Garside theory
Dehornoy, Patrick (1952-....)   /   Digne, François   /   Godelle, Eddy (1973-....)   /   Kramer, Daan   /   Barros, Jean-Michel   /   Michel, Jean

Cote : [20 DEH 16]

6 - Logique combinatoire et séquentielle. Maîtrise d'E.E.A. C3- automatique
Lagasse, Jean (1924-....)   /   Erceau, Jean (Collab.)

Cote : [05 LAG 69]

7 - Logique moderne. Fascicule III : implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Lesniewski
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 73-3]

8 - Symbolic logic : an introduction
Fitch, Frederic Brenton

Cote : [05 FIT 52]

9 - The Haupvermutung book : a collection of papers of the topology of manifolds
Ranicki, Andrew A. (1948-....) (Ed.)   /   Sullivan, D. P. (Ed.)   /   Armstrong, M. A. (Ed.) A   /   Casson, A. J. (Ed.)

Cote : [57 RAN 96]

10 - Théorie des objets et théorie des ensembles
Chauvin, André (1914-2010)   /   Guillaume, Marcel (1928-2016) (Directeur de Thèse)   /   Besserre, A. M. (Jury)   /   Chatelet, F. (Jury)   /   Pabion, Jean-François (Jury)

Cote : [Thèse 186-74]