67-5004-47 Functional Interpretations 978-981-4551-39-7
[(publisher) World Scientific]
仕様
- サブタイトル：From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory
- 著者：Diller, Justus
- 装丁：Hard
- 頁数他：248 p.
- 発行日：2019/11/19
- 分類：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|