Curso de semântica formal - Marcelo Ferreira (Berlin Language Science Press, 2019)