scientific article; zbMATH DE number 3433862
From MaRDI portal
Publication:4401435
zbMath0276.02034MaRDI QIDQ4401435
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)
Related Items (1)
This page was built for publication: