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