TY - BOOK AU - Cooper, S Barry AU - Geuvers, Herman AU - Pillay, Anand ...[et al.] TI - Logic Colloquium 2006 SN - 9780521110815 U1 - 511.3 PY - 2009/// CY - Cambridge PB - Cambridge University Press KW - Mathematics ER -