Formal Languages in Logic : A Philosophical and Cognitive Analysis - Catarina Dutilh Novaes (2012)