scientific article
From MaRDI portal
Publication:3734369
zbMath0599.03024MaRDI QIDQ3734369
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
infinitary logicpropositional quantifierspropositional intuitionistic logicfinite formulaeinfinitary conjunctioninfinitary formulaeinfinite disjunctions
Related Items (2)
Ordered sets R and Q as bases of Kripke models ⋮ Second order propositional operators over Cantor space
This page was built for publication: