Logic Colloquium 2004 By Anonymous (not verified) 30 / May / 2011 Read more about Logic Colloquium 2004