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