Proof Theory : The First Step into Impredicativity
【シリーズ】Universitext
【出版社 】SPRINGER-VERLAG
【発行年度】2009 【冊数】1 【頁数】370 【判型・装丁】8vo soft lage
【現品状態】
少汚れ。少カド擦れ。本文概ね良好。
【ISBN】9783540693185
¥ 5,000 税込
関連カテゴリ