面向计算机科学的数理逻辑课后习题答案,英文版的,不过不用担心,很简单的,只要英语四级过了就没问题!