References
Thomas Piecha
with Schroeder-Heister, P. (2016)., Atomic systems in proof-theoretic semantics: two approaches, in J. Redmond, O. Martins & Ă. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 47-62.
with de Campos Sanz, W. (2014). A critical remark on the BHK interpretation of implication. Philosophia Scientiae 18 (3), pp. 13-22.