圏論による論理学

• タイトルヨミ: ケンロンニヨルロンリガク
• サブタイトル: 高階論理とトポス
• サブタイトルヨミ: コウカイロンリトトポス
• 著編者等／著者名等: 清水義夫‖著
• 統一著者名: 清水義夫
• 著編者等ヨミ／著者名等ヨミ: シミズヨシオ
• 出版者: 東京大学出版会
• 出版地: 東京
• 出版年: 2007.12
• 大きさ: 4,216p
• 件名: カテゴリー(数学)
• 分類: 411.6,411.6 411.6
• ISBN: 978-4-13-012057-9
• マークNo: TRC000000007065571
• タイトルコード: 1100000094891
• 資料番号: 00000000000007426133
• 請求記号: 411.6/ｼﾐ ｹ
• 内容紹介: 表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。
• 種別: 図書
• 配架場所: 034E0