Notes and exercises on Theory of Recursive Functions and Effective Computability by Rogers