Luca Bellotti
(2007). Formalization, syntax and the standard model of arithmetic. Synthese, 154 (2), 199-229. https://doi.org/10.1007/s11229-005-0900-x.
(2003). Tarski on logical notions. Synthese, 135 (3), 401-413. https://doi.org/10.1023/A:1023590504284.