Algebraic Treatment of the Functional Calculi of Heyting and Lewis (Q5807661)
From MaRDI portal
scientific article; zbMATH DE number 3068532
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic Treatment of the Functional Calculi of Heyting and Lewis |
scientific article; zbMATH DE number 3068532 |
Statements
Algebraic Treatment of the Functional Calculi of Heyting and Lewis (English)
0 references
1951
0 references
philosophy and foundations of mathematics
0 references
