津山工業高等専門学校
ヘルプ
ログイン
図書館
津山工業高等専門学校
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
利用者サービス ▼
≡
書誌詳細
津山工業高等専門学校
検索結果一覧へ戻る
不完全性定理
ゲーデル [著] ; 林晋, 八杉満利子訳・解説. -- 12刷. -- 岩波書店, 2015. -- (岩波文庫 ; 青(33)-944-1). <BB01480087>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
書誌URL:
不完全性定理
ゲーデル [著] ; 林晋, 八杉満利子訳・解説. -- 12刷. -- 岩波書店, 2015. -- (岩波文庫 ; 青(33)-944-1). <BB01480087>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
書誌URL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
状態
コメント
返却予定日
0001
津山高専
図書館(自然科学)
410.9||G
202200111
No.
0001
巻号
所蔵館
津山高専
配置場所
図書館(自然科学)
請求記号
410.9||G
資料ID
202200111
状態
コメント
返却予定日
このページのTOPへ
書誌詳細
標題および責任表示
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
フカンゼンセイ テイリ
版事項
12刷
出版・頒布事項
東京 : 岩波書店 , 2015.11
形態事項
310p ; 15cm
巻号情報
ISBN
9784003394410
書誌構造リンク
岩波文庫||イワナミ ブンコ <BB01362897> 青(33)-944-1//a
その他の標題
原タイトル:Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
注記
p309-310に「補遺(第12刷に際して追加)」あり
注記
文献: p307-309
学情ID
BB27178525
本文言語コード
日本語
著者標目リンク
*Gödel, Kurt, 1906-1978 <NC:DA00112751>
著者標目リンク
林, 晋(1953-)
ハヤシ, ススム <NC:DA02963363>
著者標目リンク
八杉, 満利子(1937-)
ヤスギ, マリコ <NC:DA01070180>
分類標目
数学 NDC8:410.96
分類標目
数学 NDC9:410.96
件名標目等
記号論理学||キゴウロンリガク
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
岩波文庫
分類からさがす
数学 NDC8:410.96
数学 NDC9:410.96
件名からさがす
記号論理学
他の検索サイトで探す
Google Books
WEB STORE
Knowledge Worker
WorldCat
NDLSearch
CiNii Books
この書誌のQRコード