https://1library.org/document/zww8m11z-uma-introducao-sobre-logicas-nao-classicas.html