FOUNDATIONS OF THE FORMAL SCIENCES III

Complexity in Mathematics and Computer Science


Universität WIen
Institut für Formale Logik

September 21st to 24th, 2001