1
Published 2009
Cambridge University Press
...Logic Colloquium (2006, Nijmegen, Netherlands)...