On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning (Q5864195)
From MaRDI portal
scientific article; zbMATH DE number 7537536
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning |
scientific article; zbMATH DE number 7537536 |
Statements
On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning (English)
0 references
3 June 2022
0 references
proof
0 references
valid argument
0 references
meaning
0 references
semantics
0 references
Heyting
0 references
Gentzen
0 references
