[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni:
"A proof theoretic approach to Standard completeness";
Talk: Konference: Beyond True and False: Logic, Algebra and Topology, Florenz (invited); 2014-12-03 - 2014-12-05.

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