Computational Logic and Set Theory: Applying girro 2014年1月28日 13 阅读 0 评论 未分类 Computational Logic and Set Theory: Applying Formalized Logic to Analysis Hardcover: 416 pages Publisher: Springer (July 16, 2011) Language: English ISBN-10: 0857298070 代发服务PDF电子书10元立即求助