検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

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

著者名 清水 義夫／著
出版者 東京大学出版会
出版年月 2007.12

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

マイ本棚へ追加ログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0117550129411.6/ｼ/書庫３一般図書一般貸出在庫　  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2007
【14ひきのもちつき】 14ひきのもちつき
いわむら かずお… 【おばけのマールとおべんとう】 おばけのマールとおべんとう
なかい れい／え… 【進化の迷路　：　原始の海から人類誕…】 進化の迷路　：　原始の海から人類誕…
香川 元太郎／作… 【夜明けの街で】 夜明けの街で
東野 圭吾／著 【へんしんプレゼント】 へんしんプレゼント
あきやま ただし… 【ぐりとぐら】 ぐりとぐら
中川 李枝子／さ… 【ぼく、アンパンマン!】 ぼく、アンパンマン!
やなせ たかし／… 【れっしゃのたび】 れっしゃのたび
工藤 ノリコ／作 【かいけつゾロリやせるぜ!ダイエット…】 かいけつゾロリやせるぜ!ダイエット…
原 ゆたか／さく… 【誰か】 誰か
宮部 みゆき／著 【影踏み　：　推理小説】 影踏み　：　推理小説
横山 秀夫／著 【いいからいいから2】 いいからいいから2
長谷川 義史／作 【へんしんとびばこ】 へんしんとびばこ
あきやま ただし… 【いろいろごはん】 いろいろごはん
山岡 ひかる／作 【株価暴落】 株価暴落
池井戸 潤／著 【恐竜トリケラトプスとギガノトサウル…】 恐竜トリケラトプスとギガノトサウル…
黒川 みつひろ／… 【十角館の殺人】 十角館の殺人
綾辻 行人／[著… 【裁判官の爆笑お言葉集】 裁判官の爆笑お言葉集
長嶺 超輝／著 【ぎょうれつのできるパンやさん】 ぎょうれつのできるパンやさん
ふくざわ ゆみこ… 【わたしはあなたをあいしています】 わたしはあなたをあいしています
宮西 達也／作絵 【果てしなき渇き】 果てしなき渇き
深町 秋生／著 【金融探偵】 金融探偵
池井戸 潤／著 【葉桜の季節に君を想うということ】 葉桜の季節に君を想うということ
歌野 晶午／著 【ぼくがラーメンたべてるとき】 ぼくがラーメンたべてるとき
長谷川 義史／作… 【かいけつゾロリたべるぜ!大ぐいせん…】 かいけつゾロリたべるぜ!大ぐいせん…
原 ゆたか／さく… 【としょかんライオン】 としょかんライオン
ミシェル・ヌード… 【対岸の彼女】 対岸の彼女
角田 光代／著 【わにわにのごちそう】 わにわにのごちそう
小風 さち／ぶん… 【ねずみくんおおきくなったらなににな…】 ねずみくんおおきくなったらなににな…
なかえ よしを／… 【まじょまつりにいこう】 まじょまつりにいこう
せな けいこ／作… 【オレたちバブル入行組】 オレたちバブル入行組
池井戸 潤／著 【ルルとララのアイスクリーム】 ルルとララのアイスクリーム
あんびる やすこ… 【最終退行】 最終退行
池井戸 潤／著 【ジャッキーのいもうと】 ジャッキーのいもうと
あだち なみ／絵… 【ダイイング・アイ】 ダイイング・アイ
東野 圭吾／著 【つんつくせんせいとくまのゆめ】 つんつくせんせいとくまのゆめ
たかどの ほうこ… 【リオ】 リオ
今野 敏／著 【うたって、ペネロペ】 うたって、ペネロペ
アン・グットマン… 【ふしぎなキャンディーやさん】 ふしぎなキャンディーやさん
みやにし たつや… 【ももんちゃんあーん】 ももんちゃんあーん
とよた かずひこ… 【ねずみくんのきもち】 ねずみくんのきもち
なかえ よしを／… 【わにわにのおでかけ】 わにわにのおでかけ
小風 さち／ぶん… 【ちょっとだけ】 ちょっとだけ
瀧村 有子／さく… 【うみのおふろやさん】 うみのおふろやさん
とよた かずひこ… 【幻夜】 幻夜
東野 圭吾／著 【10ぴきのかえるのプールびらき】 10ぴきのかえるのプールびらき
間所 ひさこ／さ… 【果断】 果断
今野 敏／著 【笑う警官】 笑う警官
佐々木 譲／著 【いろいろたまご】 いろいろたまご
山岡 ひかる／作 【幸福な食卓】 幸福な食卓
瀬尾 まいこ／[…
411.6　411.6

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1006700477165
書誌種別 図書
書名 圏論による論理学　高階論理とトポス　　　　
書名ヨミ ケンロン ニ ヨル ロンリガク　
著者名 清水 義夫／著
著者名ヨミ シミズ ヨシオ
出版者 東京大学出版会
出版年月 2007.12
ページ数 4,216p
大きさ 21cm
分類記号 411.6
分類記号 411.6
ISBN 4-13-012057-9
内容紹介 表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。
著者紹介 1939年東京生まれ。東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授。著書に「記号論理学」など。
件名 カテゴリー(数学)
言語区分 日本語

(他の紹介)目次 第１章　関数型高階論理（関数型高階論理の考え方
高階論理λ‐ｈ．ｏ．ｌ．のタイプと項　ほか）
第２章　トポス（圏
トポス　ほか）
第３章　トポスの基本定理（Ｉ上バンドルの圏Ｂｎ（Ｉ）
関手　ほか）
第４章　プルバック関手ｆの右‐随伴関手２ｆ（トポスの基礎的な諸性質
パーシャルアロー・クラシファイヤーの存在定理　ほか）
第５章　リミット、空間性トポス、限量記号（リミットとコリミット
空間性トポスＴｏｐ（１）　ほか）


内容細目表

前のページへ
ページの先頭へ 図書館トップへ

本文はここまでです。

ページの終わりです。