1. Good-for-game QPTL: an alternating hodges semantics;Bellier;Trans. Comput. Log.,2023
2. Henkin quantifiers and complete problems;Blass;Ann. Pure Appl. Log.,1986
3. Team building in dependence;Bradfield,2013
4. An introduction to proof theory;Buss,1998
5. Introduction to Mathematical Logic;Church,1956