Dutilh Novaes, Catarina, Formal Languages in Logic. A Philosophical and Cognitive Analysis, Cambridge University Press: Cambridge 2012
V. Peckhaus, Mathematical Reviews, M24567 (2013).