您的位置:china-pub网上书店 > 计算机 > 计算机科学理论与基础知识 > 逻辑学 > 面向计算机科学的数理逻辑:系统建模与推理(英文版·第2版)[按需印刷]