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]