Computational Logic and Set Theory: Applying

2014-01-28 分类：未分类

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元立即求助

1111

 打赏