CLM 2004

• Home
• Directions
• Photos
• Programme

Workshop on Constructive Logic And Mathematics

Hosted by GKLI, the PhD Programme Logic in Computer Science.

Organised by Josef Berger, Peter Schuster and Klaus Thiel