scientific article
From MaRDI portal
Publication:4011716
zbMath0784.03004MaRDI QIDQ4011716
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Related Items (5)
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A Completeness Result for Relation Algebra with Binders ⋮ First order logic without equality on relativized semantics ⋮ Undecidability of Algebras of Binary Relations
This page was built for publication:
