Proof Theory: The First Step into Impredicativity girro 2015年5月23日 18 阅读 0 评论 未分类 Proof Theory: The First Step into Impredicativity (Universitext) Hardcover: 374 pages Publisher: Springer (October 13, 2008) Language: English ISBN-10: 3540693181 代发服务PDF电子书10元立即求助