scientific article; zbMATH DE number 3280029
From MaRDI portal
Publication:5565080
zbMath0175.26202MaRDI QIDQ5565080
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes, Axiomatization of models for intermediate logics constructed with Boolean models by piling up, Separability of normalizable superintuitionistic propositional logics
