Proofs of non-deducibility in intuitionistic functional calculus (Q5787742)
From MaRDI portal
scientific article; zbMATH DE number 3048503
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proofs of non-deducibility in intuitionistic functional calculus |
scientific article; zbMATH DE number 3048503 |
Statements
Proofs of non-deducibility in intuitionistic functional calculus (English)
0 references
1948
0 references
Philosophy and foundations
0 references
