Applied Proof Theory Proof Interpretations and their Use in Mathematics

Mathematics and Poli ...

Alan D. Taylor

定価: ¥ 11730

当ショップ価格: ¥ 5278

Green Industrial Res ...

Manfred Binder, ...

定価: ¥ 24762

当ショップ価格: ¥ 6929

Public Choice Interp ...

Jac. C. Heckelm ...

定価: ¥ 23578

当ショップ価格: ¥ 17099

Proof in VDM Case St ...

Juan C. Bicarre ...

定価: ¥ 15284

当ショップ価格: ¥ 5699

Rewriting, Computati ...

Hubert Comon-Lu ...

定価: ¥ 11730

当ショップ価格: ¥ 6390

Handbook of Logic an ...

Steven G. Krant ...

定価: ¥ 14099

当ショップ価格: ¥ 4399

Lectures on Proof Ve ...

Ernst W. Mayr, ...

定価: ¥ 10065

当ショップ価格: ¥ 9277

Modern Mitral Valve ...

Choi-Keung NG, ...

定価: ¥ 33056

当ショップ価格: ¥ 8779