TU DARMSTADT:
Home
Institute of Mathematics
Research Group Logic
Colloquium Logicum 2008
Technische Universität Darmstadt, September 10–12, 2008
Home
Registration
Conference programme
Abstracts
Travel and accommodation
List of participants
Programme committee
Organisation
Contact
Organisation
Ulrich Kohlenbach
Martin Otto
Thomas Streicher
Benno van den Berg