Repository | Journal | Volume | Articles
(2006) Synthese 148 (2).
The present paper is concerned with a ramified type theory (cf. (Lorenzen 1955), (Russell), (Schütte), (Weyl), e.g.,) in a cumulative version.
Publication details
DOI: 10.1007/s11229-004-6225-3
Full citation:
Zahn, P. (2006). A normative model of classical reasoning in higher order languages. Synthese 148 (2), pp. 309-343.
This document is unfortunately not available for download at the moment.