scientific article; zbMATH DE number 3356739
From MaRDI portal
Publication:5631083
zbMath0225.02020MaRDI QIDQ5631083
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
The disjunction property of intermediate propositional logics ⋮ Computations in fragments of intuitionistic propositional logic ⋮ A(nother) characterization of intuitionistic propositional logic
This page was built for publication:
