資料詳細

  • 1 件中、 1 件目

圏論による論理学   貸出可

清水義夫／著 -- 東京大学出版会 -- ２００７．１２ -- 411.6

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /411/Ｓｈ４９/ 0010007186086 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 圏論による論理学 
副タイトル１ 高階論理とトポス
著者１ 清水義夫 ／著  
出版年 ２００７．１２
出版者 東京大学出版会
一般件名 カテゴリ－（数学）
ページ数 ４，２１６ｐ
大きさ ２１ｃｍ
ISBN 4-13-012057-9
NDC分類(10版) 411.6
内容紹介 表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。

ページの先頭へ

著者紹介

著者紹介１－１ １９３９年東京生まれ。東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授。著書に「記号論理学」など。