https://leuvendeu.com.br/livro/methods-of-logic-revised-edition/