A Normative Model of Classical Reasoning in Higher Order Languages
Peter ZahnVolume:
148
Language:
english
Pages:
35
Journal:
Synthese
DOI:
10.1007/s11229-004-6225-3
Date:
January, 2006
File:
PDF, 352 KB
english, 2006