2025/10/31
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
圏論による論理学(ケンロン/ニ/ヨル/ロンリガク)｡
|
| 副書名｡ |
高階論理とトポス(コウカイ/ロンリ/ト/トポス)｡
|
| 著者名等｡ |
清水/義夫‖著(シミズ,ヨシオ)｡
|
| 出版者｡ |
東京大学出版会／東京｡
|
| 出版年｡ |
2007.12｡
|
| ページと大きさ｡ |
4,216p／21cm｡
|
| 件名｡ |
カテゴリー(数学)｡
|
| 分類｡ |
NDC8 版：411.6｡
|
| NDC9 版：411.6｡
|
| NDC10版：411.6｡
|
| ISBN｡ |
978-4-13-012057-9｡
|
| 価格｡ |
¥2800｡
|
| タイトルコード｡ |
1100000094891｡
|
| 内容紹介｡ |
表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。｡
|
| 著者紹介｡ |
１９３９年東京生まれ。東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授。著書に「記号論理学」など。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
| 番号｡ |
資料番号｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 007426133｡
|
- 配架場所：
- E書庫（「書庫とりよせ」ボタンで申請し、カウンターでお受け取りください。）｡
|
- 請求記号：
- 411.6/ｼﾐ ｹ｡
|
- 状態：
- 在庫｡
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1100000094891