検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

スマリヤン不完全性定理　　　　　

著者名 Raymond Smullyan／[著] 　 高橋 昌一郎／監訳 　 川辺 治之／訳 　 村上 祐子／訳
出版者 丸善出版
出版年月 2019.12

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

荻原 規子
【あまねく神竜住まう国】 あまねく神竜住まう国
荻原 規子／著 【私の源氏物語ノート】 私の源氏物語ノート
荻原 規子／著 【古事記】 古事記
荻原 規子／訳,… 【エチュード春一番第3曲】 エチュード春一番第3曲
荻原 規子／[著… 【エチュード春一番第2曲】 エチュード春一番第2曲
荻原 規子／[著… 【エチュード春一番第1曲】 エチュード春一番第1曲
荻原 規子／[著… 【もうひとつの空の飛び方　：　『枕草…】 もうひとつの空の飛び方　：　『枕草…
荻原 規子／[著… 【RDG レッドデータガール　：　氷…】 RDG レッドデータガール　：　氷…
荻原 規子／[著… 【RDG レッドデータガール　：　氷…】 RDG レッドデータガール　：　氷…
荻原 規子／[著… 【あまねく神竜住まう国】 あまねく神竜住まう国
荻原 規子／著 【つる花の結び　：　源氏物語上】 つる花の結び　：　源氏物語上
[紫式部／著],… 【つる花の結び　：　源氏物語下】 つる花の結び　：　源氏物語下
[紫式部／著],… 【RDG　：　レッドデータガール　：…】 RDG　：　レッドデータガール　：…
荻原 規子／著 【日本の神話古事記えほん5】 日本の神話古事記えほん5
三浦 佑之／監修… 【宇治の結び　：　源氏物語上】 宇治の結び　：　源氏物語上
[紫式部／著],… 【宇治の結び　：　源氏物語下】 宇治の結び　：　源氏物語下
[紫式部／著],… 【日本の神話古事記えほん4】 日本の神話古事記えほん4
三浦 佑之／監修… 【日本の神話古事記えほん3】 日本の神話古事記えほん3
三浦 佑之／監修… 【エチュード春一番第2曲】 エチュード春一番第2曲
荻原 規子／著 【日本の神話古事記えほん2】 日本の神話古事記えほん2
三浦 佑之／監修… 【日本の神話古事記えほん1】 日本の神話古事記えほん1
三浦 佑之／監修… 【エチュード春一番第1曲】 エチュード春一番第1曲
荻原 規子／著 【あまねく神竜住まう国】 あまねく神竜住まう国
荻原 規子／作 【西の善き魔女8】 西の善き魔女8
荻原 規子／[著… 【三人寄れば、物語のことを】 三人寄れば、物語のことを
上橋 菜穂子／著… 【西の善き魔女7】 西の善き魔女7
荻原 規子／[著… 【西の善き魔女6】 西の善き魔女6
荻原 規子／[著… 【西の善き魔女5】 西の善き魔女5
荻原 規子／[著… 【風神秘抄上】 風神秘抄上
荻原 規子／著 【風神秘抄下】 風神秘抄下
荻原 規子／著 【RDG レッドデータガール6】 RDG レッドデータガール6
荻原 規子／[著… 【紫の結び　：　源氏物語3】 紫の結び　：　源氏物語3
[紫式部／著],… 【西の善き魔女4】 西の善き魔女4
荻原 規子／[著… 【紫の結び　：　源氏物語2】 紫の結び　：　源氏物語2
[紫式部／著],… 【西の善き魔女3】 西の善き魔女3
荻原 規子／[著… 【紫の結び　：　源氏物語1】 紫の結び　：　源氏物語1
[紫式部／著],… 【西の善き魔女2】 西の善き魔女2
荻原 規子／[著… 【西の善き魔女1】 西の善き魔女1
荻原 規子／[著… 【RDG レッドデータガール5】 RDG レッドデータガール5
荻原 規子／[著… 【RDG レッドデータガール4】 RDG レッドデータガール4
荻原 規子／[著… 【RDG　：　レッドデータガール6】 RDG　：　レッドデータガール6
荻原 規子／[著… 【RDG レッドデータガール3】 RDG レッドデータガール3
荻原 規子／[著… 【グリフィンとお茶を　：　ファンタジ…】 グリフィンとお茶を　：　ファンタジ…
荻原 規子／著,… 【RDG レッドデータガール2】 RDG レッドデータガール2
荻原 規子／[著… 【RDG　：　レッドデータガール5】 RDG　：　レッドデータガール5
荻原 規子／[著… 【RDG レッドデータガール[1]】 RDG レッドデータガール[1]
荻原 規子／[著… 【RDG　：　レッドデータガール4】 RDG　：　レッドデータガール4
荻原 規子／[著… 【樹上のゆりかご】 樹上のゆりかご
荻原 規子／著 【風神秘抄上】 風神秘抄上
荻原 規子／著,… 【風神秘抄下】 風神秘抄下
荻原 規子／著,…
2016
【九十歳。何がめでたい】 九十歳。何がめでたい
佐藤 愛子／著 【祈りの幕が下りる時】 祈りの幕が下りる時
東野 圭吾／[著… 【あきない世傳金と銀2】 あきない世傳金と銀2
高田 郁／著 【ノラネコぐんだん そらをとぶ】 ノラネコぐんだん そらをとぶ
工藤 ノリコ／著 【やめてみた。　：　本当に必要なもの…】 やめてみた。　：　本当に必要なもの…
わたなべ ぽん／… 【なつみはなんにでもなれる】 なつみはなんにでもなれる
ヨシタケ シンス… 【火災のサバイバル　：　生き残り作戦】 火災のサバイバル　：　生き残り作戦
スウィートファク… 【代償】 代償
伊岡 瞬／[著] 【鳥のサバイバル　：　生き残り作戦2】 鳥のサバイバル　：　生き残り作戦2
ゴムドリco.／… 【蜜蜂と遠雷】 蜜蜂と遠雷
恩田 陸／著 【コんガらガっちぬきあしさしあしすす…】 コんガらガっちぬきあしさしあしすす…
ユーフラテス／さ… 【子育てはもう卒業します】 子育てはもう卒業します
垣谷 美雨／著 【時間の使い方】 時間の使い方
入江 久絵／マン… 【ドラえもん科学ワールド生物の源・海…】 ドラえもん科学ワールド生物の源・海…
藤子・F・不二雄… 【ツバキ文具店】 ツバキ文具店
小川 糸／著 【食堂のおばちゃん】 食堂のおばちゃん
山口 恵以子／著 【女のいない男たち】 女のいない男たち
村上 春樹／著 【桜ほうさら上】 桜ほうさら上
宮部 みゆき／著 【上野池之端鱗や繁盛記】 上野池之端鱗や繁盛記
西條 奈加／著 【ピヨピヨおばあちゃんのうち】 ピヨピヨおばあちゃんのうち
工藤 ノリコ／著 【桜ほうさら下】 桜ほうさら下
宮部 みゆき／著 【ドラえもん科学ワールド生命進化と化…】 ドラえもん科学ワールド生命進化と化…
藤子・F・不二雄… 【完璧な母親】 完璧な母親
まさき としか／… 【戦国時代のサバイバル　：　生き残り…】 戦国時代のサバイバル　：　生き残り…
トリル／マンガ,… 【鎌倉時代のサバイバル　：　生き残り…】 鎌倉時代のサバイバル　：　生き残り…
イセケヌ／マンガ… 【無垢の領域】 無垢の領域
桜木 紫乃／著 【時限病棟】 時限病棟
知念 実希人／著 【サピエンス全史　：　文明の構造と…上】 サピエンス全史　：　文明の構造と…上
ユヴァル・ノア・… 【100円たんけん】 100円たんけん
中川 ひろたか／… 【幕末のサバイバル　：　生き残り作戦】 幕末のサバイバル　：　生き残り作戦
もとじろう／マン… 【なでなでももんちゃん】 なでなでももんちゃん
とよた かずひこ… 【糸車】 糸車
宇江佐 真理／著 【真贋】 真贋
今野 敏／著 【弥生時代のサバイバル　：　生き残り…】 弥生時代のサバイバル　：　生き残り…
市川 智茂／マン… 【裸の華】 裸の華
桜木 紫乃／著 【姉と弟】 姉と弟
佐伯 泰英／著 【カレーライス】 カレーライス
小西 英子／さく 【泣き童子(わらし)　：　三島屋変調…】 泣き童子(わらし)　：　三島屋変調…
宮部 みゆき／[… 【これは経費で落ちません!　：…[1]】 これは経費で落ちません!　：…[1]
青木 祐子／著 【慈雨】 慈雨
柚月 裕子／著 【共犯捜査】 共犯捜査
堂場 瞬一／著 【飛鳥時代のサバイバル　：　生き残り…】 飛鳥時代のサバイバル　：　生き残り…
細雪 純／マンガ… 【ハリー・ポッターと呪いの子　：　第…】 ハリー・ポッターと呪いの子　：　第…
J.K.ローリン… 【江戸時代のサバイバル　：　生き残り…】 江戸時代のサバイバル　：　生き残り…
早川 大介／マン… 【わんぱくだんのてるてるぼうず】 わんぱくだんのてるてるぼうず
ゆきの ゆみこ／… 【三鬼　：　三島屋変調百物語四之続】 三鬼　：　三島屋変調百物語四之続
宮部 みゆき／著 【アンパンマンとバイキンUFOロボ】 アンパンマンとバイキンUFOロボ
やなせ たかし／… 【らくだ】 らくだ
佐伯 泰英／著 【妖怪バス旅行】 妖怪バス旅行
広瀬 克也／作 【人間の煩悩】 人間の煩悩
佐藤 愛子／著
913.6　913.6
【小…2026年 2月号 通巻112号】 小…2026年 2月号 通巻112号
 【小…2026年 2月号 通巻981号】 小…2026年 2月号 通巻981号
 【小説…2026年 2月号 40巻2号】 小説…2026年 2月号 40巻2号
 【S…2026年 2月号 No.773】 S…2026年 2月号 No.773
 【…2026年 1&2月号 63巻1号】 …2026年 1&2月号 63巻1号
 【オール讀物　2026年 1・2月号…】 オール讀物　2026年 1・2月号…
 【小…2026年 1月号 通巻111号】 小…2026年 1月号 通巻111号
 【小…2026年 1月号 通巻980号】 小…2026年 1月号 通巻980号
 【小説…2026年 1月号 40巻1号】 小説…2026年 1月号 40巻1号
 【ミ…2026年 1月号 通巻772号】 ミ…2026年 1月号 通巻772号
 【一文字助真　：　文庫書下ろし/長編…】 一文字助真　：　文庫書下ろし/長編…
佐伯 泰英／著 【北極星をえがく】 北極星をえがく
岩井 圭也／著,… 【欲望の裏】 欲望の裏
堂場 瞬一／著 【別辞　：　書き下ろし時代小説】 別辞　：　書き下ろし時代小説
芝村 凉也／著 【筆耕屋だんまり堂　：　心の色を文字…】 筆耕屋だんまり堂　：　心の色を文字…
麻宮 好／著 【遊び人】 遊び人
藤井 邦夫／著 【めじろ鳴く　：　佐伯泰英時代小説短…】 めじろ鳴く　：　佐伯泰英時代小説短…
佐伯 泰英／著 【分水】 分水
今野 敏／著 【最後の皇帝と謎解きを】 最後の皇帝と謎解きを
犬丸 幸平／著 【スノウマンの葬列　：　真々部律香の…】 スノウマンの葬列　：　真々部律香の…
麻根 重次／[著… 【天上の宴】 天上の宴
森 明日香／著 【カンザキさん】 カンザキさん
ピンク地底人3号… 【三十石船】 三十石船
岡本 さとる／著 【おばけのソッチ キャン・キャン・キ…】 おばけのソッチ キャン・キャン・キ…
角野 栄子／さく… 【おまあ推理帖】 おまあ推理帖
諸田 玲子／著 【本日ノ亡者娑婆ノ縁尽キテ】 本日ノ亡者娑婆ノ縁尽キテ
津田 美幸／著 【月白】 月白
宇佐美 まこと／… 【甘蔓情話】 甘蔓情話
山本 一力／著 【デラシネ　：　放浪捜…「霧の樹海」篇】 デラシネ　：　放浪捜…「霧の樹海」篇
梶永 正史／著 【おにのやくそく】 おにのやくそく
やまだ ともこ／… 【54字の物語呪　：　意味がわかると…】 54字の物語呪　：　意味がわかると…
氏田 雄介／作,… 【離婚弁護士松岡紬】 離婚弁護士松岡紬
新川 帆立／著 【ハヤディール戀記下】 ハヤディール戀記下
町田 そのこ／著 【ハヤディール戀記上】 ハヤディール戀記上
町田 そのこ／著 【小説トリッパー　2025年WINT…】 小説トリッパー　2025年WINT…
 【小…2025年12月号 通巻110号】 小…2025年12月号 通巻110号
 【小…2025年12月号 通巻979号】 小…2025年12月号 通巻979号
 【小…2025年12月号 39巻12号】 小…2025年12月号 39巻12号
 【小説…2025年12月号 62巻9号】 小説…2025年12月号 62巻9号
 【S…2025年12月号 No.772】 S…2025年12月号 No.772
 【オール讀物　2025年11・12月…】 オール讀物　2025年11・12月…
 【日ノ本一のおせち】 日ノ本一のおせち
和田 はつ子／著 【成瀬は都を駆け抜ける】 成瀬は都を駆け抜ける
宮島 未奈／著 【キノコにご用心】 キノコにご用心
山口 恵以子／著 【想いをつなぐメス】 想いをつなぐメス
中山 祐次郎／著 【怨嗟の回廊　：　警視庁特殊事件対策…】 怨嗟の回廊　：　警視庁特殊事件対策…
堂場 瞬一／著 【京都くれなゐ荘奇譚6】 京都くれなゐ荘奇譚6
白川 紺子／著 【あらたな門出】 あらたな門出
宮本 紀子／著 【満月珈琲店の星詠み[7]】 満月珈琲店の星詠み[7]
望月 麻衣／著,… 【新しい花が咲く　：　ぼんぼん彩句】 新しい花が咲く　：　ぼんぼん彩句
宮部 みゆき／著

書誌詳細

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

タイトルコード 1008001444534
書誌種別 図書
書名 スマリヤン不完全性定理　　　　　
書名ヨミ スマリヤン フカンゼンセイ テイリ　
著者名 Raymond Smullyan／[著]
著者名ヨミ Raymond Smullyan
著者名 高橋 昌一郎／監訳
著者名ヨミ タカハシ ショウイチロウ
著者名 川辺 治之／訳
著者名ヨミ カワベ ハルユキ
版表示 改訳版
出版者 丸善出版
出版年月 2019.12
ページ数 9,178p
大きさ 21cm
分類記号 410.9
分類記号 410.9
ISBN 4-621-30478-5
内容紹介 不完全性定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
著者紹介 論理学者。ピアニスト。マジシャン。2017年没。
件名 不完全性定理
言語区分 日本語

(他の紹介)内容紹介 ホテル櫻葉のアイドル・兎の白玉の誕生日が近づいてきた。狸の風来、狐の雷訪の二匹は、今回は自分たちでも何かを作って白玉にあげたいと考え、特別な野菜や果物をプレゼントすることに決める。さっそく休暇を取って、「豊穣の神」のもとを訪れた二匹は、神様専用の畑で農作業にいそしむが、どこでどう間違ったのか、時町見初をはじめホテルの面々には「風来と雷訪がマグロ漁船に乗った」という話が広がって…。笑って泣けるあやかしドラマ、待望の第八弾！


内容細目表

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

本文はここまでです。

ページの終わりです。