scientific article; zbMATH DE number 870184
From MaRDI portal
Publication:4875706
zbMath0852.03013MaRDI QIDQ4875706
Publication date: 11 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesscompactnessmodel theorypreservationsemanticsultraproductsdownward Löwenheim-Skolem theoremmonotone quantifierrough quantifierlogics with relational quantifiersrelational quantifier
Related Items (1)
This page was built for publication: