离散数学(第二版)
上QQ阅读APP看书,第一时间看更新

第6章 一阶逻辑(first-order logic)