Home > Journal > Journal Issue
Year: 2011
Series: Synthese
Full citation:
Synthese 180 (3), 2011.
Contents
317-335
337-356
357-389
an epistemology for constructive type theory
391-417
419-442
443-463