Proofs and Algorithms: An Introduction to Logic and

girro 14 阅读 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元立即求助