scientific article
From MaRDI portal
Publication:3852158
zbMath0419.03013MaRDI QIDQ3852158
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ The disjunction property of intermediate propositional logics ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
This page was built for publication:
