获取独家产品信息，尽享促销优惠！立即订阅，不容错过
* 限···时··优惠
• 属性、关系、函数、量词…… • 术语、句子、wff、公理、理论、证明…… • 一阶逻辑的变体和扩展 • 逻辑代理
主要关键词
