Repository | Directory | Profile

Peter Zahn
Articles
XA normative model of classical reasoning in higher order languages
2006
Synthese 148/2

Repository | Directory | Profile
Articles
XA normative model of classical reasoning in higher order languages
2006
Synthese 148/2