Peirce's Rule in a Full Natural Deduction System
Vaston G. Costa, Wagner Sanz, Edward H. Haeusler, Luiz C. PereiraVolume:
256
Year:
2009
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2009.11.002
File:
PDF, 258 KB
english, 2009