検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

ゲーデルに挑む　証明不可能なことの証明　　　　

著者名 田中 一之／著
出版者 東京大学出版会
出版年月 2012.4

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0118990498410.9/ﾀ/１階図書室51A一般図書一般貸出在庫　  ○

関連資料

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

2012
【聖女の救済】 聖女の救済
東野 圭吾／著 【へんしんおんせん】 へんしんおんせん
あきやま ただし… 【しろくまのパンツ】 しろくまのパンツ
tupera t… 【かいけつゾロリなぞのスパイとチョコ…】 かいけつゾロリなぞのスパイとチョコ…
原 ゆたか／さく… 【どんぐりむらのおまわりさん】 どんぐりむらのおまわりさん
なかや みわ／さ… 【かいけつゾロリのメカメカ大さくせん】 かいけつゾロリのメカメカ大さくせん
原 ゆたか／さく… 【オニじゃないよおにぎりだよ】 オニじゃないよおにぎりだよ
シゲタ サヤカ／… 【おしりたんてい】 おしりたんてい
トロル／さく・え 【アンパンマンとザジズゼゾウ】 アンパンマンとザジズゼゾウ
やなせ たかし／… 【ロボット世界のサバイバル　：　生…1】 ロボット世界のサバイバル　：　生…1
金 政郁／文,韓… 【ツナグ】 ツナグ
辻村 深月／著 【ピヨピヨハッピーバースデー】 ピヨピヨハッピーバースデー
工藤 ノリコ／著 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【おばけのマールとおかしなとけいだい】 おばけのマールとおかしなとけいだい
なかい れい／え… 【よろしくともだち】 よろしくともだち
内田 麟太郎／作… 【深海のサバイバル　：　生き残り作戦】 深海のサバイバル　：　生き残り作戦
ゴムドリco.／… 【贖罪】 贖罪
湊 かなえ／著 【おしりをしりたい】 おしりをしりたい
鈴木 のりたけ／… 【プラチナデータ】 プラチナデータ
東野 圭吾／[著… 【少女】 少女
湊 かなえ／著 【凍原　：　北海道警釧路方面本部刑事…】 凍原　：　北海道警釧路方面本部刑事…
桜木 紫乃／著 【ナミヤ雑貨店の奇蹟】 ナミヤ雑貨店の奇蹟
東野 圭吾／著 【氷平線】 氷平線
桜木 紫乃／著 【ペネロペおねえさんになる】 ペネロペおねえさんになる
アン・グットマン… 【おべんとう】 おべんとう
小西 英子／さく 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【ノラネコぐんだんパンこうじょう】 ノラネコぐんだんパンこうじょう
工藤 ノリコ／著 【チャレンジミッケ!9】 チャレンジミッケ!9
ウォルター・ウィ… 【おいもさんがね…】 おいもさんがね…
とよた かずひこ… 【極寒のサバイバル　：　生き残り作戦】 極寒のサバイバル　：　生き残り作戦
洪 在徹／文,鄭… 【往復書簡】 往復書簡
湊 かなえ／[著… 【うそついちゃったねずみくん】 うそついちゃったねずみくん
なかえ よしを／… 【ずっとずっといっしょだよ】 ずっとずっといっしょだよ
宮西 達也／作絵 【夏天の虹】 夏天の虹
高田 郁／著 【そらのたび】 そらのたび
工藤 ノリコ／[… 【がたんごとんがたんごとんざぶんざぶ…】 がたんごとんがたんごとんざぶんざぶ…
安西 水丸／さく 【物語の迷路　：　アンデルセンから宮…】 物語の迷路　：　アンデルセンから宮…
香川 元太郎／作… 【はむ・はたる　：　連作時代小説】 はむ・はたる　：　連作時代小説
西條 奈加／著 【まわるおすし】 まわるおすし
長谷川 義史／作 【どうぶつえんのおふろやさん】 どうぶつえんのおふろやさん
とよた かずひこ… 【和菓子のアン】 和菓子のアン
坂木 司／著 【ちいさなちいさなまほうのおしろ】 ちいさなちいさなまほうのおしろ
さかい さちえ／… 【自然史ミュージアムのサバイバル　…2】 自然史ミュージアムのサバイバル　…2
ゴムドリco.／… 【名探偵コナン理科ファイル太陽と月の…】 名探偵コナン理科ファイル太陽と月の…
青山 剛昌／原作… 【ルルとララのしらたまデザート】 ルルとララのしらたまデザート
あんびる やすこ… 【自然史ミュージアムのサバイバル　…1】 自然史ミュージアムのサバイバル　…1
ゴムドリco.／… 【短編工場】 短編工場
集英社文庫編集部… 【歪笑小説】 歪笑小説
東野 圭吾／著 【ねこざかなのすいか】 ねこざかなのすいか
わたなべ ゆうい… 【ぱたぱたももんちゃん】 ぱたぱたももんちゃん
とよた かずひこ…
2012
【聖女の救済】 聖女の救済
東野 圭吾／著 【へんしんおんせん】 へんしんおんせん
あきやま ただし… 【しろくまのパンツ】 しろくまのパンツ
tupera t… 【かいけつゾロリなぞのスパイとチョコ…】 かいけつゾロリなぞのスパイとチョコ…
原 ゆたか／さく… 【どんぐりむらのおまわりさん】 どんぐりむらのおまわりさん
なかや みわ／さ… 【かいけつゾロリのメカメカ大さくせん】 かいけつゾロリのメカメカ大さくせん
原 ゆたか／さく… 【オニじゃないよおにぎりだよ】 オニじゃないよおにぎりだよ
シゲタ サヤカ／… 【おしりたんてい】 おしりたんてい
トロル／さく・え 【アンパンマンとザジズゼゾウ】 アンパンマンとザジズゼゾウ
やなせ たかし／… 【ロボット世界のサバイバル　：　生…1】 ロボット世界のサバイバル　：　生…1
金 政郁／文,韓… 【ツナグ】 ツナグ
辻村 深月／著 【ピヨピヨハッピーバースデー】 ピヨピヨハッピーバースデー
工藤 ノリコ／著 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【おばけのマールとおかしなとけいだい】 おばけのマールとおかしなとけいだい
なかい れい／え… 【よろしくともだち】 よろしくともだち
内田 麟太郎／作… 【深海のサバイバル　：　生き残り作戦】 深海のサバイバル　：　生き残り作戦
ゴムドリco.／… 【贖罪】 贖罪
湊 かなえ／著 【おしりをしりたい】 おしりをしりたい
鈴木 のりたけ／… 【プラチナデータ】 プラチナデータ
東野 圭吾／[著… 【少女】 少女
湊 かなえ／著 【凍原　：　北海道警釧路方面本部刑事…】 凍原　：　北海道警釧路方面本部刑事…
桜木 紫乃／著 【ナミヤ雑貨店の奇蹟】 ナミヤ雑貨店の奇蹟
東野 圭吾／著 【氷平線】 氷平線
桜木 紫乃／著 【ペネロペおねえさんになる】 ペネロペおねえさんになる
アン・グットマン… 【おべんとう】 おべんとう
小西 英子／さく 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【ノラネコぐんだんパンこうじょう】 ノラネコぐんだんパンこうじょう
工藤 ノリコ／著 【チャレンジミッケ!9】 チャレンジミッケ!9
ウォルター・ウィ… 【おいもさんがね…】 おいもさんがね…
とよた かずひこ… 【極寒のサバイバル　：　生き残り作戦】 極寒のサバイバル　：　生き残り作戦
洪 在徹／文,鄭… 【往復書簡】 往復書簡
湊 かなえ／[著… 【うそついちゃったねずみくん】 うそついちゃったねずみくん
なかえ よしを／… 【ずっとずっといっしょだよ】 ずっとずっといっしょだよ
宮西 達也／作絵 【夏天の虹】 夏天の虹
高田 郁／著 【そらのたび】 そらのたび
工藤 ノリコ／[… 【がたんごとんがたんごとんざぶんざぶ…】 がたんごとんがたんごとんざぶんざぶ…
安西 水丸／さく 【物語の迷路　：　アンデルセンから宮…】 物語の迷路　：　アンデルセンから宮…
香川 元太郎／作… 【はむ・はたる　：　連作時代小説】 はむ・はたる　：　連作時代小説
西條 奈加／著 【まわるおすし】 まわるおすし
長谷川 義史／作 【どうぶつえんのおふろやさん】 どうぶつえんのおふろやさん
とよた かずひこ… 【和菓子のアン】 和菓子のアン
坂木 司／著 【ちいさなちいさなまほうのおしろ】 ちいさなちいさなまほうのおしろ
さかい さちえ／… 【自然史ミュージアムのサバイバル　…2】 自然史ミュージアムのサバイバル　…2
ゴムドリco.／… 【名探偵コナン理科ファイル太陽と月の…】 名探偵コナン理科ファイル太陽と月の…
青山 剛昌／原作… 【ルルとララのしらたまデザート】 ルルとララのしらたまデザート
あんびる やすこ… 【自然史ミュージアムのサバイバル　…1】 自然史ミュージアムのサバイバル　…1
ゴムドリco.／… 【短編工場】 短編工場
集英社文庫編集部… 【歪笑小説】 歪笑小説
東野 圭吾／著 【ねこざかなのすいか】 ねこざかなのすいか
わたなべ ゆうい… 【ぱたぱたももんちゃん】 ぱたぱたももんちゃん
とよた かずひこ…
629.2　629.2
【庭園を旅する　：　四季を楽しむガー…】 庭園を旅する　：　四季を楽しむガー…
大嶋 陽子／監修 【北海道ガーデンマップ　：　…2025】 北海道ガーデンマップ　：　…2025
 【北海道ガーデン街道 …2025年度版】 北海道ガーデン街道 …2025年度版
 【自然風庭園のつくり方　：　豊富な作…】 自然風庭園のつくり方　：　豊富な作…
秋元 通明／著 【北海道…15th [2024年度版]】 北海道…15th [2024年度版]
 【Hokkaido 庭めぐり…2024】 Hokkaido 庭めぐり…2024
道新サービスセン… 【北海道ガーデンマップ　：　…2024】 北海道ガーデンマップ　：　…2024
 【いつか行ってみたい世界の美しい庭園…】 いつか行ってみたい世界の美しい庭園…
MdN編集部／編 【北海道ガーデンマップ　：　…2023】 北海道ガーデンマップ　：　…2023
 【北海道ガーデン街道 …2023年度版】 北海道ガーデン街道 …2023年度版
 【麗しのカントリー庭園を訪ねる。　：…】 麗しのカントリー庭園を訪ねる。　：…
主婦と生活社／編 【緑の魔術師 石原和幸の庭】 緑の魔術師 石原和幸の庭
石原 和幸／[作… 【道央エリアぐるっとガーデン…2022】 道央エリアぐるっとガーデン…2022
 【北海道ガーデンマップ　：　…2022】 北海道ガーデンマップ　：　…2022
 【Hokkaido 庭めぐり…2022】 Hokkaido 庭めぐり…2022
道新サービスセン… 【北海道ガーデン街道 …2022年度版】 北海道ガーデン街道 …2022年度版
 【北海道帝国大学農学部附属植物園にお…】 北海道帝国大学農学部附属植物園にお…
西村 公宏／著 【北海道ガーデン街道 …2021年度版】 北海道ガーデン街道 …2021年度版
 【北海道ガーデンマップ　：　…2021】 北海道ガーデンマップ　：　…2021
 【現象のデザイン　：　自然美が出現す…】 現象のデザイン　：　自然美が出現す…
埴生 雅章／著 【北海道ガーデンマップ [リ…2020】 北海道ガーデンマップ [リ…2020
 【北海道ガーデン街道2020年度版】 北海道ガーデン街道2020年度版
 【北海道ガーデン街道2019年度版】 北海道ガーデン街道2019年度版
 【北海道ガーデンマップ [リ…2019】 北海道ガーデンマップ [リ…2019
 【北海道ガーデン街道2018年度版】 北海道ガーデン街道2018年度版
 【北海道ガーデンガイド　：　…2017】 北海道ガーデンガイド　：　…2017
 【北海道ガーデン街道2017年度版】 北海道ガーデン街道2017年度版
 【北海道ガーデンガイド　：　…2016】 北海道ガーデンガイド　：　…2016
 【世界の美しい庭園図鑑】 世界の美しい庭園図鑑
大野 暁彦／監修… 【北海道ガーデン街道2016年度版】 北海道ガーデン街道2016年度版
 【今伝えておきたい、庭師のワザ　：　…】 今伝えておきたい、庭師のワザ　：　…
秋元 通明／著 【北海道ガーデンガイドブック…2015】 北海道ガーデンガイドブック…2015
ガーデンアイラン… 【北海道ガーデン街道2015年度版】 北海道ガーデン街道2015年度版
 【世界の庭園歴史図鑑】 世界の庭園歴史図鑑
ペネロピ・ホブハ… 【北海道ガーデンガイドブック…2014】 北海道ガーデンガイドブック…2014
ガーデンアイラン… 【北海道ガーデン街道 北海道カフェス…】 北海道ガーデン街道 北海道カフェス…
 【オープンガー…2013〜2015年度】 オープンガー…2013〜2015年度
 【北海道ガーデンガイドブック…２０１３】 北海道ガーデンガイドブック…２０１３
ガーデンアイラン… 【北海道ガーデン街道 北海道カフェス…】 北海道ガーデン街道 北海道カフェス…
 【世界の美しい庭】 世界の美しい庭
アフロ／写真,ア… 【北海道ガーデンショーお役立ちBOO…】 北海道ガーデンショーお役立ちBOO…
 【ガーデンアイランド北海道　…２０１２】 ガーデンアイランド北海道　…２０１２
ガーデンアイラン… 【庭園さんぽ日本の庭】 庭園さんぽ日本の庭
インク・インコー… 【庭園さんぽ西洋の庭】 庭園さんぽ西洋の庭
インク・インコー… 【新 作庭帖　：　自然風庭園の手法】 新 作庭帖　：　自然風庭園の手法
秋元 通明／著 【庭園の謎を解く】 庭園の謎を解く
ロレイン・ハリソ… 【ガーデンアイランド北海道　…２０１１】 ガーデンアイランド北海道　…２０１１
ガーデンアイラン… 【ガーデンアイランド北海道　…２０１０】 ガーデンアイランド北海道　…２０１０
ガーデンアイラン… 【Ｇａｒｄｅｎ　Ｂｏｏｋ　：…２００９】 Ｇａｒｄｅｎ　Ｂｏｏｋ　：…２００９
ガーデンアイラン… 【ガーデンブック　：　ガーデ…２００８】 ガーデンブック　：　ガーデ…２００８
ガーデンアイラン…
庭園　造園
【すきまガーデニング　：　スペースが…】 すきまガーデニング　：　スペースが…
主婦の友社／編 【DIYで解決する!庭づくり　：　プ…】 DIYで解決する!庭づくり　：　プ…
 【現代和風の庭　：　ほっこりなごみ、…】 現代和風の庭　：　ほっこりなごみ、…
 【小さな庭づくり　：　玄関前や狭いス…】 小さな庭づくり　：　玄関前や狭いス…
 【12ケ月のガーデニングDIY　：　…】 12ケ月のガーデニングDIY　：　…
garage／著 【ERI's DIY GARDEN　…】 ERI's DIY GARDEN　…
 【カルチュラル・ガーデン　：　育つま…】 カルチュラル・ガーデン　：　育つま…
グラフィック社／… 【日本庭園のフォスタリング　：　<こ…】 日本庭園のフォスタリング　：　<こ…
加藤 友規／著 【イタリア　：　麗しの庭園と館をめぐ…】 イタリア　：　麗しの庭園と館をめぐ…
朝岡 聡／著 【1㎡からはじめる花いっぱいの小さな…】 1㎡からはじめる花いっぱいの小さな…
小黒 晃／著 【頑張りすぎない庭づくりの実例集　：…】 頑張りすぎない庭づくりの実例集　：…
 【1㎡からはじめる花いっぱいの小さな…】 1㎡からはじめる花いっぱいの小さな…
小黒 晃／著 【自分でできる小さな庭のつくり方　：…】 自分でできる小さな庭のつくり方　：…
有村 綾／まんが… 【丈夫で美しい宿根草の庭づくり　：　…】 丈夫で美しい宿根草の庭づくり　：　…
小黒 晃／植物監… 【宿根草の庭づくり　：　四季を通じて…】 宿根草の庭づくり　：　四季を通じて…
大滝 暢子／監修 【沓脱の変遷と役割　：　ウチとソトを…】 沓脱の変遷と役割　：　ウチとソトを…
山澤 清一郎／著 【庭園を旅する　：　四季を楽しむガー…】 庭園を旅する　：　四季を楽しむガー…
大嶋 陽子／監修 【はたらく庭師】 はたらく庭師
吉田 亮人／写真… 【半日陰を生かした美しい庭づくり　：…】 半日陰を生かした美しい庭づくり　：…
増田 由希子／著 【日本庭園のひみつ　：　見かた・楽し…】 日本庭園のひみつ　：　見かた・楽し…
宮元 健次／著 【京都の庭とお菓子さんぽ　：　はる・…】 京都の庭とお菓子さんぽ　：　はる・…
烏賀陽 百合／著 【北海道ガーデン街道 …2025年度版】 北海道ガーデン街道 …2025年度版
 【和の美が心を洗う日本庭園　：　完全…】 和の美が心を洗う日本庭園　：　完全…
TAC出版編集部… 【ピート・アウドルフの庭づくり】 ピート・アウドルフの庭づくり
ピート・アウドル… 【お庭を楽しむ参考書「かべちょろ」　…】 お庭を楽しむ参考書「かべちょろ」　…
有福 創／監修,… 【中世修道院の庭から　：　歴史、造園…】 中世修道院の庭から　：　歴史、造園…
ミシェル・ボーヴ… 【禅の庭4】 禅の庭4
枡野 俊明／著 【日本の美しい庭園を1冊で巡る旅】 日本の美しい庭園を1冊で巡る旅
大野 暁彦／著,… 【はじめての極小ガーデニング　：　狭…】 はじめての極小ガーデニング　：　狭…
谷川 文江／著 【グラウンドカバープランツ大全　：　…】 グラウンドカバープランツ大全　：　…
ゲイリー・ルイス… 【デレク・ジャーマンの庭】 デレク・ジャーマンの庭
デレク・ジャーマ… 【らくちんガーデニング12か月の魔法…】 らくちんガーデニング12か月の魔法…
杉井 志織／監修… 【絵本のように美しい宿根草の小さな庭…】 絵本のように美しい宿根草の小さな庭…
白馬コルチナ・イ… 【自然風庭園のつくり方　：　豊富な作…】 自然風庭園のつくり方　：　豊富な作…
秋元 通明／著 【北海道…15th [2024年度版]】 北海道…15th [2024年度版]
 【私たちの「ターシャ」を探して　：　…】 私たちの「ターシャ」を探して　：　…
主婦と生活社／編 【はじめてのランドスケープ製図　：　…】 はじめてのランドスケープ製図　：　…
内藤 英四郎／著… 【長く続けられる美しい庭づくり　：　…】 長く続けられる美しい庭づくり　：　…
青木 純子／著 【オールシーズン美しい庭　：　ピート…】 オールシーズン美しい庭　：　ピート…
ピート・アウドル… 【オーガニック植木屋の庭づくり　：　…】 オーガニック植木屋の庭づくり　：　…
ひきちガーデンサ… 【庭のかたちが生まれるとき　：　庭園…】 庭のかたちが生まれるとき　：　庭園…
山内 朋樹／著 【みどりの王国】 みどりの王国
戎 康友／著,鈴… 【GREEN is　：　G…vol.4】 GREEN is　：　G…vol.4
 【いのちのガーデン　：　北の森で暮ら…】 いのちのガーデン　：　北の森で暮ら…
山崎 亮子／著 【最高の植栽をデザインする方法】 最高の植栽をデザインする方法
建築知識／編 【宿根草のナチュラルガーデン　：　お…】 宿根草のナチュラルガーデン　：　お…
荻原 範雄／著 【バラと暮らす幸せ　：　エントランス…】 バラと暮らす幸せ　：　エントランス…
八月社／著,福岡… 【植栽技術論】 植栽技術論
内田 均／著 【草花屋・苔丸の魅力　：　植物のある…】 草花屋・苔丸の魅力　：　植物のある…
 【造園がわかる本】 造園がわかる本
赤坂 信／編,「…

書誌詳細

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

タイトルコード 1008000529820
書誌種別 図書
書名 ゲーデルに挑む　証明不可能なことの証明　　　　
書名ヨミ ゲーデル ニ イドム　
著者名 田中 一之／著
著者名ヨミ タナカ カズユキ
出版者 東京大学出版会
出版年月 2012.4
ページ数 8,177p
大きさ 21cm
分類記号 410.9
分類記号 410.9
ISBN 4-13-063900-2
内容紹介 「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
著者紹介 1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
件名 不完全性定理
言語区分 日本語

(他の紹介)内容紹介 奥行き・境界・体験を拡げる２４の庭を一挙解説。
(他の紹介)目次 第１部　建物と引き立てあう緑の設計（スケールを操る
体験を落とし込む
ロケーションに寄り添う
まちにひらく）
第２部　作庭の進め方（敷地と建築を読む
木を選ぶ
移ろう景色をつくる
素材の選び方
事例で読む木の役割）
(他の紹介)著者紹介 園三
　株式会社園三代表取締役。京都芸術大学通信教育部ランドスケープデザインコース非常勤講師、武庫川女子大学建築学科・大学院非常勤講師。１９７５年岐阜市生まれ、京都芸術短期大学（現京都芸術大学）ランドスケープデザインコース専攻科修了後、岐阜の造園会社に就職。２００５年、現事務所を設立。イタリア・コモで行われる国際ガーデンショーＯｒｔｉｃｏｌａｒｉｏ２０１６にて金賞を含む３賞を同時受賞(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。