lectures on the logic of arithmetic inman press