Text this: Tópicos de lógica para lingüistas :