このページのリンク

ケンロン ニ ヨル ロンリガク : コウカイ ロンリ ト トポス
圏論による論理学 : 高階論理とトポス / 清水義夫著

データ種別 図書
出版年 2007.12
出版者 東京 : 東京大学出版会
大きさ iv,216p ; 21cm

所蔵情報を非表示

白 B2和書
411.6:S55 0007024219
9784130120579

書誌詳細を非表示

別書名 表紙タイトル:Logic via category theory : higher order logic and topos
著者標目  *清水, 義夫(1939-) <シミズ, ヨシオ>
件 名 BSH:カテゴリー(数学)
分 類 NDC8:411.6
NDC9:411.6
本文言語 日本語
書誌ID BK00101921
NCID BA84314231
目次/あらすじ

 類似資料