Auerbach, David. 1992. “How to Say Things with Formalisms.” in Proof, Logic and Formalization, edited by Michael Detlefsen, pp. 31–38. London: Routledge.
Auerbach, David. 1994. “Saying it with Numerals.”Notre Dame Journal of Formal Logic 35: 130–146.