[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Kuznets:
"Separating Truth and Proof in the Logic of Proofs";
Keynote Lecture: VSL-GetFun Workshop, Wien (invited); 2014-07-22 - 2014-07-23.


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