Mendeley出力
ケンロン ニヨル ロンリガク : コウカイ ロンリ ト トポス
圏論による論理学 : 高階論理とトポス / 清水義夫著
| データ種別 | 図書 |
|---|---|
| 著者標目 | *清水, 義夫(1939-) <シミズ, ヨシオ> |
| 出版者 | 東京 : 東京大学出版会 |
| 出版年 | 2007.12 |
ようこそ ゲスト さん
| データ種別 | 図書 |
|---|---|
| 著者標目 | *清水, 義夫(1939-) <シミズ, ヨシオ> |
| 出版者 | 東京 : 東京大学出版会 |
| 出版年 | 2007.12 |