The basic intuitionistic logic of proofs (Q5294019)
From MaRDI portal
scientific article; zbMATH DE number 5170333
Language | Label | Description | Also known as |
---|---|---|---|
English | The basic intuitionistic logic of proofs |
scientific article; zbMATH DE number 5170333 |
Statements
The basic intuitionistic logic of proofs (English)
0 references
9 July 2007
0 references
logic of proofs
0 references
intuitionistic logic
0 references
Heyting arithmetic
0 references