TY - BOOK AU - Dimitracopoulos, C et al ED - Annual European summer meeting of the Association for Symbolic Logic TI - Logic colloquium, 2005: Proceedings of the annual European summer meeting of the Association for Symbolic Logic T2 - Lecture notes in logic SN - 9780521884259 U1 - 511.3 20 PY - 2008/// CY - Cambridge PB - Cambridge Uni Pr KW - Mathematics KW - Logic, Symbolic and mathematical KW - Congresses ER -