Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference16 articles.
1. J. L. Bell andA. B. Slomson,Models and Ultraproducts North-Holland, Amsterdam 1971.
2. G. Birkhoff,On the structure of abstract algebras Proc. Cambridge Philos. Soc. 31 (1935), pp. 433?454.
3. C. C. Chang andH. J. Keisler,Model Theory North-Holland, Amsterdam 1973.
4. H. Enderton,A Mathematical Introduction to Logic Academic Press, New York 1972.
5. W. D. Goldfarb,The undecidability of the second-order unification problem Theoretical Computer Science 13 (1981), pp. 225?230.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献