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