
Thomas Piecha
(2010-2019)
XAtomic systems in proof-theoretic semantics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
A critical remark on the BHK interpretation of implication
2014
Philosophia Scientiae 18/3

(2010-2019)
XAtomic systems in proof-theoretic semantics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
A critical remark on the BHK interpretation of implication
2014
Philosophia Scientiae 18/3