Formal Languages in Logic by Catarina Dutilh Novaes