Elementary intuitionistic theories (Q5676209)
From MaRDI portal
scientific article; zbMATH DE number 3411026
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary intuitionistic theories |
scientific article; zbMATH DE number 3411026 |
Statements
Elementary intuitionistic theories (English)
0 references
1973
0 references