scientific article
From MaRDI portal
Publication:3934372
zbMath0478.03017MaRDI QIDQ3934372
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
satisfactionsemantical gamesdownward Loewenheim-Skolem theoremLos's theoremsubhierarchy of infinitely deep languages
This page was built for publication: