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]

2 - Decidalbes theories. II : the monadic second order theory of all countable ordinals
Büchi, J. Richard (1924-1984)   /   Siefkes, Dirk (Ed.)   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 BUC 73]

3 - Extensional Gödel functional interpretation : a consistency proof of classical analysis
Luckhardt, Horst

Cote : [05 LUC 73]

4 - Recursion theory
Nerode, Anil (1932-....) (Ed.)   /   Shore, Richard A. (1946-....) (Ed.)

Cote : [05 NER 84]

5 - Undecidable theories
Tarski, Alfred (1901-1983)   /   Robinson, Raphael Mitchel (1911-1995) (Collab.)   /   Mostowski, Andrzej (1913-1975) (Collab.)

Cote : [05 TAR 53]

6 - Undecidable theories - Third printing
Tarski, Alfred (1901-1983)   /   Mostowski, Andrzej (1913-1975) (Collab.)   /   Robinson, Raphael Mitchel (1911-1995) (Collab.)

Cote : [05 TAR 71]

7 - Word problems : Decision problems and the Burnside problem in group theory
Boone, William Werner (1920-1983) (Ed.)   /   Cannonito Frank Benjamin (Ed.)   /   Lyndon, Roger Conant (1917-1988) (Ed.)

Cote : [20 BOO 73]

8 - Word problems II : the Oxford book
Adian, Sergueï I. (1931-....) (Ed.)   /   Higman, Graham (1917-) (Ed.)   /   Boone, William Werner (1920-1983) (Ed.)

Cote : [20 ADI 76]