On Model-Completeness
- 11 February 2008
- Vol. 30 (3) , 183-196
- https://doi.org/10.1111/j.1755-2567.1964.tb01088.x
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability.The Journal of Symbolic Logic, 1959
- On the extending of models (IV)Fundamenta Mathematicae, 1957
- Ordered Structures and Related ConceptsPublished by Elsevier ,1955