关注微信公众号查券更方便
预订 Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (First Edit... [9780486780825]
![预订 Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (First Edit... [9780486780825]](/Public/skin2/static/tqkpc/images/grey.gif)