Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
A normative model of classical reasoning in higher order languages
2006
Peter Zahn
Synthese 148/2