scientific article; zbMATH DE number 3568653
From MaRDI portal
Publication:4141213
zbMath0365.02013MaRDI QIDQ4141213
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Non-axiomatizable second order intuitionistic propositional logic ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS
This page was built for publication: