A workshop within the Collegium Logicum lecture series on cut-elimination organized by the KGS took place in Vienna from Monday, July 4 till Wednesday, July 6 2005. Please have a look at the workshop webpage for more information
A workshop within the Collegium Logicum lecture series on cut-elimination organized by the KGS took place in Vienna from Monday, July 4 till Wednesday, July 6 2005. Please have a look at the workshop webpage for more information