DOI10.2307/2272161zbMath0332.02054OpenAlexW2123430327MaRDI QIDQ4096937
Jerome I. Malitz
Publication date: 1975 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2307/2272161
Mathematics Subject Classification ID
Other classical first-order model theory (03C68)
Related Items