1 - Handbook of mathematical logic
Barwise, Jon (1942-2000) (Ed.)   /   Kunen, Kenneth (Collab.)   /   Keisler, H. Jerome (Collab.)   /   Moschovakis, Y. N. (Collab.)   /   Troelstra, A. S. (Collab.)

Cote : [05 BAR 77]

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

Cote : [05 KLE 71]