1 - Handbook of mathematical logicBarwise, Jon (1942-2000) (Ed.) / Kunen, Kenneth (Collab.) / Keisler, H. Jerome (Collab.) / Moschovakis, Y. N. (Collab.) / Troelstra, A. S. (Collab.)Cote : [05 BAR 77]
2 - The unprovability of consistency : an essay in modal logicBoolos, George (1940-1996)Cote : [05 BOO 79]
