a mathematical introduction to logic
数理逻辑 A mathematical introduction to logic 基于包含度的不确定推理 Uncertainty reasoning based on inclusion degree 面向计算机科学的数理逻辑 系统建模与推理 Logic in ...
基于6个网页-相关网页
a mathematical introduction to logic
逻辑的数学入门
以上为机器翻译结果，长、整句建议使用 人工翻译 。