商品詳細 | Knowledge Worker

圏論による論理学～高階論理とトポス～　

在庫状況お取り寄せ	お届け予定日 1週間	数量冊
価格 \3,080（税込）

発行年月	2008年01月
出版社／提供元	東京大学出版会
言語	日本語
媒体	冊子
大きさ	21
ジャンル	和書
ISBN	9784130120579
商品コード	0107108499
NDC分類	410.96
基本件名	カテゴリー（数学）
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0107108499

著者紹介

清水義夫（著者）：〈清水義夫〉１９３９年東京生まれ。東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授。著書に「記号論理学」など。

内容

表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。

カート

カートに商品は入っていません。