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