Reading list: Theory of PA