scientific article; zbMATH DE number 3448570
From MaRDI portal
Publication:4774038
zbMath0286.02053MaRDI QIDQ4774038
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other classical first-order model theory (03C68)
Related Items
Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken ⋮ Semantics in Data and Knowledge Bases