书目详细信息 : Ludic proof :