Proofs and Algorithms: An Introduction to Logic and girro 2014年1月24日 15 阅读 0 评论 计算机、互联网 Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) Hardcover: 168 pages Publisher: Springer (January 13, 2011) Language: English ISBN-10: 0857291203 代发服务PDF电子书10元立即求助