Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Studying logics via structural proof theory";
Talk: 6th International Conference of "Teaching Logic and Prospects of its Development,
Kiew, Ukraine (invited);
2014-05-15
- 2014-05-16.