Publisher
Springer International Publishing
Reference7 articles.
1. van Benthem, J.: Logic in Games. Perspectives in Mathematical Logic. MIT Press, Cambridge (2014)
2. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Perspectives in Mathematical Logic. Springer (1997)
3. Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fundamenta Mathematicae 49, 129–141 (1961). https://doi.org/10.4064/fm-49-2-129-141
4. Fraïssé, R.: Sur une nouvelle classification des systèmes de relation. Comptes rendus hebdomadaires des séances de l’Académie des sciences 230, 1022–1024 (1950)
5. Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism, Studies in Logic and the Foundations of Mathematics, vol. 149. Elsevier (2006). https://doi.org/10.1016/S0049-237X(06)80499-4