书目详细信息 : 非平衡态热力学和流体力学形式逻辑分析