Gentzen's Centenary: The Quest for Consistency
価格： ￥17,862
カテゴリ： ペーパーバック
ブランド： Springer
関連商品
- Theories, Sites, Toposes: Relating and Studying Mathematical Theories Through Topos-Theoretic Bridges
- Reverse Mathematics: Proofs from the Inside Out
- Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)