scientific article
From MaRDI portal
Publication:2999205
DOI10.3233/978-1-60750-606-5-701zbMath1211.03022MaRDI QIDQ2999205
Publication date: 11 May 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07) Other applications of logic (03B80)
Related Items (3)
A Logic of East and West ⋮ Rational Region-Based Affine Logic of the Real Plane ⋮ POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES
This page was built for publication: