Proof Theory

更新图书信息或封面

作者: Wolfram Pohlers
出版社: Springer
副标题: The First Step into Impredicativity
出版年: 2008-11-17
页数: 374
定价: USD 59.95
装帧: Paperback
丛书: universitext
ISBN: 9783540693185