Semântica formal uma breve introdução - Oliveira, Roberta Pires de (Mercado de Letras, 2010)