logic in computer science(面向计算机的数理逻辑)英文pdf附答案
经典计算机数理逻辑教材，被国内外高校采用。 作者 Michael Huth ,Mark Ryan 英文打印原版
用户评论