Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)'' (Q2144212)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)'' |
scientific article |
Statements
Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)'' (English)
0 references
1 June 2022
0 references
