CLTT
読むかなぁ
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)
- 作者: B. Jacobs
- 出版社/メーカー: Elsevier Science
- 発売日: 2001/07/01
- メディア: ハードカバー
- 購入: 2人 クリック: 86回
- この商品を含むブログ (12件) を見る
読むかなぁ
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)