OPACトップへ
MyOPACへログイン
目録検索 ▼
検索トップへ
分類検索
雑誌検索リスト
新着資料情報案内
貸出ベストランキング
利用者サービス ▼
利用者登録情報照会
ブックマーク
お気に入り検索
新着アラート
学外文献複写申込
学外文献借用申込
≡
書誌詳細
東京農業大学 生物産業学部図書館
検索結果一覧へ戻る
ゲーデルの20世紀
田中一之編. -- 東京大学出版会, 2006. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1). <BB10053693>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
この書誌へのURL:
ゲーデルの20世紀
田中一之編. -- 東京大学出版会, 2006. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1). <BB10053693>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
この書誌へのURL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻冊次等
所蔵館
配置場所
資料ID
請求記号
禁帯出区分
状態
返却期限日
予約件数
0001
生産図
2F一般
0748844
410.9||Ta84
帯出可
整理済
0件
No.
0001
巻冊次等
所蔵館
生産図
配置場所
2F一般
資料ID
0748844
請求記号
410.9||Ta84
禁帯出区分
帯出可
状態
整理済
返却期限日
予約件数
0件
このページのTOPへ
書誌詳細
標題および責任表示
ゲーデルの20世紀 / 田中一之編
ゲーデル ノ 20セイキ
出版・頒布事項
東京 : 東京大学出版会 , 2006.7
形態事項
x, 228p : 挿図, 肖像 ; 22cm
巻号情報
国際標準図書番号
413064095X
書誌構造リンク
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編||ゲーデル ト 20セイキ ノ ロジック <BB10053692> 1//b
その他の標題
その他のタイトル:Gödel and his 20th century
その他の標題
異なりアクセスタイトル:ゲーデルの20世紀
ゲーデル ノ ニジッセイキ
要約
ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第1巻では20世紀の論理学全体を鳥瞰し、日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。
注記
欧文タイトルは標題紙裏より
注記
参考文献: 各部末
学情ID
BA77789782
本文言語コード
日本語
著者標目リンク
田中, 一之||タナカ, カズユキ <AU10018819>
分類標目
数学 NDC8:410.9
分類標目
数学 NDC9:410.9
件名標目等
Gödel, Kurt
件名標目等
数学基礎論 -- 歴史||スウガクキソロン -- レキシ
件名標目等
記号論理学 -- 歴史||キゴウロンリガク -- レキシ
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編
著者からさがす
田中, 一之
分類からさがす
数学 NDC8:410.9
数学 NDC9:410.9
件名からさがす
Gödel, Kurt
数学基礎論 -- 歴史
記号論理学 -- 歴史
他の検索サイトで探す
CiNii Books
EJ・EBOOK(FULL TEXT)
NDL Search
カーリル
Amazon
Google Books
WEB STORE
Knowledge Worker
全国の大学図書館等を検索
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
学外文献複写申込(コピー取り寄せ)
学外文献借用申込(現物借用)
この書誌のQRコード