scientific article
From MaRDI portal
Publication:2822172
zbMath1363.03002MaRDI QIDQ2822172
Publication date: 27 September 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order theorynoncompactnesscombinatorial geometryvisibilitygeometric modelfinite axiomatizabilityuniversal fragment
Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Classical first-order logic (03B10)
This page was built for publication: