Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. Alexandru, A., Ciobanu, G.: Finitely Supported Mathematics: An Introduction. Springer, Berlin (2016)
2. Barwise, J.: Admissible Sets and Structures: An Approach to Definability Theory, Perspectives in Mathematical Logic, vol. 7. Springer, Berlin (1975)
3. Blass, A.: Ramsey’s theorem in the hierarchy of choice principles. J. Symb. Log. 42, 387–390 (1977)
4. Bojanczyk, M., Klin, B., Lasota, S.: Automata with group actions. In: 26th Symposium on Logic in Computer Science, pp. 355–364. IEEE Computer Society Press, New York (2011)
5. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Form. Asp. Comput. 13(3–5), 341–363 (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献