scientific article
From MaRDI portal
Publication:4074877
zbMath0315.02016MaRDI QIDQ4074877
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Axiomatic model classes (08C10) Other infinitary logic (03C75) Other classical first-order model theory (03C68)
Related Items (2)
A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ Characterizing specification languages which admit initial semantics
This page was built for publication: