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

Cote : [05 NER 84]

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

Cote : [05 TAR 53]

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

Cote : [05 TAR 71]