TY - BOOK AU - Barry Cooper, S AU - Anand Pillay AU - Geuvers, Herman TI - Logic colloquium 2006 SN - 9780521110815 U1 - 160 COO PY - 2009/// CY - Cambridge PB - Association for Symbolic Logic KW - Logic ER -