圏論による論理学

20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．関数概念を基本として現象をとらえようというこの方法を，関数型高階論理とトポスを題材にして丁寧に解説する．論理学の観点を中心に，圏論の考え方を紹介するテキスト．

著者

清水　義夫

出版社

東京大学出版会

発売日

2007-12-01

価格

2,800円（税込・書誌情報提供：openBD）

ISBN

9784130120579

ページ数

232ページ

発売済み