https://leuvendeu.com.br/livro/mathematical-logic-notes-on-mathematics-and-its-applications/