书目详细信息 : Mathematical interpretation of formal systems