A Logical Introduction to Proof Hardcover: 371 pages Publisher: Springer (September 19, 2012) Language: English ISBN-10: 1461436303 代发服务PDF电子书10元立即求助 1111