This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
 Andreas Blass and Yuri Gurevich , Ordinary interactive small-step algorithms, ACM Transactions on Computational Logic, Part I, vol. 7 (2006), pp. 363–419, Part II, vol. 8 (2007), article 15, and Part III, vol. 8 (2007), article 16.
 Jean-Yves Girard , Linear logic, Theoretical Computer Science, vol. 50 (1987), pp. 1–101.
 Yuri Gurevich , Sequential abstract state machines capture sequential algorithms, ACM Transactions on Computational Logic, vol. 1 (2000), pp. 77.
 Joachim Lambek , Deductive systems and categories. I. Syntactic calculus and residuated categories, Mathematical Systems Theory, vol. 2 (1968), pp. 287.
 Stephen Simpson , Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, 1999.
 Alfred Tarski , Undecidable theories, North-Holland, 1953, with the collaboration of Andrzej Mostowski and Raphael Robinson.