scientific article; zbMATH DE number 3349771
From MaRDI portal
Publication:5625119
zbMath0221.02009MaRDI QIDQ5625119
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Basic Constructive Connectives, Determinism and Matrix-Based Semantics ⋮ Strict Canonical Constructive Systems ⋮ On some new intuitionistic propositional connectives. I