scientific article; zbMATH DE number 3337650
From MaRDI portal
Publication:5614644
zbMath0213.01201MaRDI QIDQ5614644
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Characteristic formulas of partial Heyting algebras ⋮ On a second order propositional operator in intuitionistic logic ⋮ The disjunction property of intermediate propositional logics ⋮ Finite models constructed from canonical formulas ⋮ Rules and arithmetics ⋮ Frame based formulas for intermediate logics
This page was built for publication:
