Analysis and Synthesis of Logics: How to Cut and Paste girro 2015年5月24日 9 阅读 0 评论 未分类 Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series) Hardcover: 604 pages Publisher: Springer (February 4, 2008) Language: English ISBN-10: 140206781X 代发服务PDF电子书10元立即求助