![122282](/images/creator/_default.jpg)
Thomas Piecha
Atomic 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
![Open Access](/images/book.png)
Atomic 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