67-5004-92 Simple Type Theory 978-3-031-21111-9
仕様
- サブタイトル：A Practical Logic for Expressing and Reasoning about Mathematical Ideas
- 著者：Farmer, William M.
- 叢書名：Computer Science Foundations and Applied Logic
- 装丁：Hard
- 頁数他：XIV, 295 p. 10 illus., 3 illus. in color.
- 発行日：2023/01/02
- 分類：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|