ケンロン ニヨル ロンリガク : コウカイ ロンリ ト トポス
清水義夫著
東京 : 東京大学出版会, 2007.12
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
411.6-Sh49
|
10007022604 |
一般図書 |
|
|
|
|
2007
iv, 216p : 挿図 ; 21cm
Logic via category theory : higher order logic and topos
圏論による論理学 : 高階論理とトポス
日本
日本語 (jpn)
日本語 (jpn)
清水, 義夫(1939-) (シミズ, ヨシオ)
NDC8:411.6
NDC9:411.6
9784130120579
BA84314231
TRC : 07065571
