Lectures on the Logic of Arithmetic