https://leuvendeu.com.br/livro/formal-semantics-and-logic/