[Russian Text Ignored.] (Q5903376)
From MaRDI portal
scientific article; zbMATH DE number 4002069
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | [Russian Text Ignored.] |
scientific article; zbMATH DE number 4002069 |
Statements
[Russian Text Ignored.] (English)
0 references
1986
0 references
extensions of the intuitionistic propositional calculus
0 references
non-separable calculus
0 references
implicative-negative axioms
0 references
