Novaes, C. D. Formal languages in logic: A Philosophical and cognitive analysis - Cambridge Cambridge University Press 2012 - viii, 275p. ISBN: 978-1-107-02091-7