scientific article
From MaRDI portal
Publication:3509173
zbMath1150.03019MaRDI QIDQ3509173
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Algebraic logic (03G99) History of mathematical logic and foundations (03-03)
Related Items (4)
A universal Krull-Lindenbaum theorem ⋮ Unnamed Item ⋮ A semantic hierarchy for intuitionistic logic ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
This page was built for publication:
