[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Kuznets:
"Through an Inference Rule, Darkly";
Talk: Humboldt Kolleg "​Proof Theory as Mathesis Universalis", Menaggio, Italien (invited); 2017-07-24 - 2017-07-28.

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