この文献を取り寄せる

このページのリンク

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

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2007.12
形態 iv, 216p : 挿図 ; 21cm
別書名 表紙タイトル:Logic via category theory : higher order logic and topos
異なりアクセスタイトル:圏論による論理学 : 高階論理とトポス
著者標目 清水, 義夫(1939-) <シミズ, ヨシオ>
件 名 BSH:カテゴリー(数学)
分 類 NDC9:411.6
NDC8:411.6
書誌ID LT00764113

所蔵情報を非表示


中央4F 図書 411.6/SH49-1/1 2000000088052 9784130120579





中央自動書庫 411.6/SH49-1/1 2000000120478 9784130120579




書誌詳細を非表示

本文言語 日本語
NCID BA84314231
巻冊次 ISBN:9784130120579
目次/あらすじ

 類似資料