https://leuvendeu.com.br/livro/introduction-to-mathematical-logic-2/