书目详细信息 : 算术基础:关于数的概念的一种逻辑数学的研究