Semântica formal : uma breve introdução - Oliveira, Roberta Pires de (Coleção Idéias sobre Linguagem, 2010)