The naturality of natural deduction (Q6275830)
From MaRDI portal
scientific article; zbMATH DE number 7055417
Language | Label | Description | Also known as |
---|---|---|---|
English | The naturality of natural deduction |
scientific article; zbMATH DE number 7055417 |
Statements
22 July 2016
0 references
math.LO
0 references