Moore 1980, p. 96. Moore, Gregory H (1980). "Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory". History and Philosophy of Logic. 1 (1–2). Taylor & Francis: 95–137. doi:10.1080/01445348008837006.
Button 2011, pp. 325–327. Button, Tim (2011). "The Metamathematics of Putnam's Model-Theoretic Arguments". Erkenntnis. 74. Springer: 321–349. JSTOR41476692.