Sentences with finite models
- 1 January 1975
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 21 (1) , 401-404
- https://doi.org/10.1002/malq.19750210153
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- On the elementary theory of linear orderFundamenta Mathematicae, 1966
- Applications of the Löwenheim–Skolem–Tarski Theorem to Problems of Completeness and DecidabilityIndagationes Mathematicae, 1954
- On a Problem of Formal LogicProceedings of the London Mathematical Society, 1930