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]

3 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé
Cori, René   /   Lascar, Daniel (1942-....)   /   Krivine, Jean-Louis (1939-....) (Préface)

Cote : [05 COR 93-1]