书目详细信息 : Mathematical machines V.2