Title: Lectures on the logic of arithmetic