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

2 - Logique mathématique
Kleene, Stephen Cole (1909-1994)   /   Largeault, Jean (1931?-1995) (Trad.)

Cote : [05 KLE 71]

3 - Proceedings of the symposium on mathematical theory of automata
Fox, Jérôme (Ed.)

Cote : [77.9 MAT 63]