【セブン-イレブンで24時間受取りOK・送料0円！】 著者／訳者名：清水義夫／著 出版社名：東京大学出版会 発行年月：2007年12月 関連キーワード：ケンロン　ニ　ヨル　ロンリガク　コウカイ　ロンリ　ト　トポス けんろん　に　よる　ろんりがく　こうかい　ろんり　と　とぽす、 トウキヨウ　ダイガク　シユツパンカイ　トウキヨウダイガクシユツパンカイ　５１４９ とうきよう　だいがく　しゆつぱんかい　とうきようだいがくしゆつぱんかい　５１４９、 トウキヨウ　ダイガク　シユツパンカイ　トウキヨウダイガクシユツパンカイ　５１４９ とうきよう　だいがく　しゆつぱんかい　とうきようだいがくしゆつぱんかい　５１４９ 数学、計算機科学、論理学などの分野で採用されてきている圏論を論理学の観点を中心に解説し、その考え方を紹介するテキスト。 第１章　関数型高階論理（関数型高階論理の考え方高階論理λ‐ｈ．ｏ．ｌ．のタイプと項　ほか）第２章　トポス（圏トポス　ほか）第３章　トポスの基本定理（Ｉ上バンドルの圏Ｂｎ