scientific article
From MaRDI portal
Publication:3086700
zbMath1227.03050MaRDI QIDQ3086700
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powercontinuous logicmetric structurescompact abstract theorieslogic of positive bounded formulasmodel-theoretic compactness
This page was built for publication: