Applied Proof Theory

更新图书信息或封面

作者: Ulrich Kohlenbach
出版社: Springer
副标题: Proof Interpretations and their Use in Mathematics
出版年: 2008-5-26
页数: 536
定价: USD 99.00
装帧: Hardcover
ISBN: 9783540775324