No TND

CLM 2004

No TND

Workshop on Constructive Logic And Mathematics

Group Photo

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

Organised by Josef Berger, Peter Schuster and Klaus Thiel

Josef Berger Peter Schuster Klaus Thiel
http://www.math.lmu.de/~clm/