Colloquium Logicum 2008 September 10-12, 2008 TU Darmstadt Darmstadt, Germany
OrganizersUlrich Kohlenbach, Martin Otto, Thomas Streicher, Benno van den Berg
Conference Homepage
<no abstracts>