書誌所蔵情報 | 石川県立図書館

あなたのカード番号：
前回ログイン日時：

2025/05/17

書誌情報｡

< 前へ [ 1 / 1 ] 次へ >

978-4-254-11765-3

資料の種別｡	図書｡資料情報のコピー
書名｡	数理論理学(スウリ/ロンリガク)｡外部サイトで調べる:
著者名等｡	鹿島/亮‖著(カシマ,リョウ)｡
出版者｡	朝倉書店／東京｡
出版年｡	2009.10｡
ページと大きさ｡	5,210p／21cm｡
シリーズ名｡	現代基礎数学 15｡
件名｡	記号論理学｡
分類｡	NDC8 版：410.96｡
	NDC9 版：410.96｡
	NDC10版：410.96｡
ISBN｡	978-4-254-11765-3｡
価格｡	¥3300｡
タイトルコード｡	1100000287656｡
内容紹介｡	数理論理学の基本結果であるゲーデルの完全性定理、ゲーデルの不完全性定理、ゲンツェンのLKのカット除去定理、直観主義論理のクリプキモデルに対する完全性定理などを、わかりやすくかつ正確に解説する。｡
著者紹介｡	１９６５年東京都生まれ。東京工業大学大学院理工学研究科博士課程中退。同大学院情報理工学研究科数理・計算科学専攻准教授。博士（理学）。｡

▼ 開く▲ 閉じる

貸出情報｡

お気に入りに登録予約カートに入れる今すぐ予約

所蔵数｡	館内でのみ利用可能な資料｡	貸出可能な資料｡	貸出中の資料（割当または回送中含む）｡	予約件数（割当含む）｡
所蔵数 1 冊	館内でのみ利用可能な資料 0 冊	貸出可能な資料｡ 1 冊	貸出中の資料（割当または回送中含む） 0 冊	予約件数（割当含む） 0 件

所蔵情報｡

状態についての詳細は、こちらを参照してください。

番号｡	資料番号｡	配架場所（配架案内）｡	請求記号｡	状態｡
1｡	資料番号： 009595562｡	配架場所： MAP 3F / 南（S） / S35～S36 / 自然科学｡	請求記号： 410.96/ｶｼｽ｡	状態：在庫｡

このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1100000287656

< 前へ [ 1 / 1 ] 次へ >

書誌、所蔵ページの表示は以上です。