資料詳細

  • 1 件中、 1 件目

圏論による論理学 利用可

清水 義夫／著 -- 東京大学出版会 -- 2007.12 -- 411.6

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階自然 Map 11 /411.6/ｼﾐ/932249 1109322494 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 圏論による論理学
副書名 高階論理とトポス
著者 清水 義夫 ／著  
出版地 東京
出版者 東京大学出版会
出版年 2007.12
ページ数 4,216p
大きさ 21cm
一般件名 カテゴリー(数学)
内容紹介 表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。
ISBN13桁 978-4-13-012057-9 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 411.6

ページの先頭へ