圏論による論理学~高階論理とトポス~
清水義夫
著
在庫状況
お取り寄せ
お届け予定日
1週間
価格
\3,080(税込)
発行年月
2008年01月
出版社/提供元
東京大学出版会
言語
日本語
媒体
冊子
大きさ
21
ジャンル
和書
ISBN
9784130120579
商品コード
0107108499
NDC分類
410.96
基本件名
カテゴリー(数学)
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0107108499
著者紹介
清水義夫(著者):〈清水義夫〉1939年東京生まれ。東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授。著書に「記号論理学」など。
内容
表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。