A workshop within the Collegium Logicum lecture series on Proof Theory supported by the KGS will take place at École Polytechnique, from 2011-02-28 to 2011-03-01. Please have a look at the workshop webpage for program and more details.
A workshop within the Collegium Logicum lecture series on Proof Theory supported by the KGS will take place at École Polytechnique, from 2011-02-28 to 2011-03-01. Please have a look at the workshop webpage for program and more details.