livro logica uma abordagem introdutoria cim ciencia moderna