[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni, M. Baaz:
"Proof theory for non-classical logics: a negative result";
Talk: Pisa Summer Workshop on Proof Theory, Pisa, Italy; 2012-06-12 - 2012-06-15.

Created from the Publication Database of the Vienna University of Technology.