Publisher
Springer International Publishing
Reference58 articles.
1. Barwise, J., Feferman, S. (eds.): Model-Theoretic Logics. Perspectives in Mathematical Logic. Springer, New York (1985)
2. Beth, Evert W.: On Padoa’s method in the theory of definition. Nederl. Akad. Wetensch. Proc. Ser. A (= Indagationes Mathematicae 15) 56, 330–339 (1953)
3. Craig, W.: Review of [2]. J. Symb. Log. 21(2), 194–195 (1956)
4. Craig, W.: Linear reasoning: a new form of the Herbrand-Gentzen theorem. J. Symb. Log. 22(3), 250–268 (1957)
5. Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Log. 22(3), 269–285 (1957)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献