1. Bernays, P., & Hilbert, D. (1939). Grundlagen der Mathematik (zweiter Band). Berlin: Springer.
2. Gupta, A. (1982). Truth and paradox. Journal of Philosophical Logic, 11, 1–60.
3. Hansen, C. S. (2012). A Kripkean solution to paradoxes of denotation. In D. Lassiter & M. Slavkovik (Eds.), New directions in logic, language, and computation. Berlin: Springer.
4. Horsten, L., & Linnebo, Ø. (2015). Term models for abstraction principes. Journal of Philosophical Logic. doi: 10.1007/s10992-015-9344-z .
5. Kleene, S. C. (1952). Introduction to metamathematics. Amsterdam: North-Holland Publishing Company.