Talks and Poster Presentations (without Proceedings-Entry):
R. Kuznets, T. Studer:
""Weak Arithmetical Interpretations for the Logic of Proofs";
Talk: ISRALOG´14: Israeli Workshop on Non-Classical Logics and Their Applications,
Haifa, Israel;
2014-09-29
- 2014-10-01.