Applied Proof Theory: Proof Interpretations and their girro 2015年5月24日 18 阅读 0 评论 数学、统计 Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) Hardcover: 536 pages Publisher: Springer (May 26, 2008) Language: English ISBN-10: 3540775323 代发服务PDF电子书10元立即求助