
Peter Schroeder-Heister
(2010-2019)
XAtomic systems in proof-theoretic semantics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
The categorical and the hypothetical
2012
Synthese 187/3

2011
Deutsches Jahrbuch Philosophie 2
14th Congress of logic, methodology and philosophy of science
2010
Philosophia Scientiae 14/1
