Peirce's Rule in a Full Natural Deduction System
| Autor: | Costa, Vaston G., Sanz, Wagner, Haeusler, Edward H., Pereira, Luiz C. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 2 December 2009 256:5-18 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Costa, Vaston G., Sanz, Wagner, Haeusler, Edward H., Pereira, Luiz C. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 2 December 2009 256:5-18 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect