検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0015117294図書一般410.9/ｽﾏ20/2F自然貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

登録するリストログインメモ

書誌情報サマリ

タイトル

スマリヤン不完全性定理

人名 Raymond Smullyan／[著]
人名ヨミ Raymond Smullyan
出版者・発行者 丸善出版
出版年月 2019.12

書誌詳細

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

書誌種別 図書
タイトル スマリヤン不完全性定理
タイトルヨミ スマリヤン フカンゼンセイ テイリ
人名 Raymond Smullyan／[著] 　 高橋 昌一郎／監訳 　 川辺 治之／訳 　 村上 祐子／訳
人名ヨミ Raymond Smullyan　タカハシ ショウイチロウ　カワベ ハルユキ　ムラカミ ユウコ
版次 改訳版
出版者・発行者 丸善出版
出版者・発行者等ヨミ マルゼン シュッパン
出版地・発行地 東京
出版・発行年月 2019.12
ページ数または枚数・巻数 9,178p
大きさ 21cm
価格 ￥２４００
ISBN 978-4-621-30478-5
ISBN 4-621-30478-5
注記 原タイトル:Gödel's incompleteness theorems
注記 初版のタイトル等:ゲーデルの不完全性定理(丸善 1996年刊)
注記 文献:p169〜170
分類記号 410.9
件名 不完全性定理
内容紹介 不完全性定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
著者紹介 論理学者。ピアニスト。マジシャン。2017年没。
言語区分 JPN
タイトルコード 1009812369490



目次


内容細目

関連資料

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

Raymond Smullyan　高橋 昌一郎　川辺 治之　村上 祐子
【新書100冊　：　視野を広げる読書】 新書100冊　：　視野を広げる読書
高橋 昌一郎／著 【活躍する圏論　：　具体例からのアプ…】 活躍する圏論　：　具体例からのアプ…
Brendan … 【情報を…行動経済学・統計学・情報学編】 情報を…行動経済学・統計学・情報学編
情報文化研究所／… 【K理論】 K理論
M.F.アティヤ… 【ボロバシュ数学の技法　：　メンフィ…】 ボロバシュ数学の技法　：　メンフィ…
B.ボロバシュ／… 【実践・哲学ディベート　：　<人生の…】 実践・哲学ディベート　：　<人生の…
高橋 昌一郎／著 【パラドックス大図鑑】 パラドックス大図鑑
高橋 昌一郎／監… 【みんなの圏論　：　演習中心アプロー…】 みんなの圏論　：　演習中心アプロー…
David I.… 【情報を正しく選択するための認知バイ…】 情報を正しく選択するための認知バイ…
情報文化研究所／… 【20世紀論争史　：　現代思想の源泉】 20世紀論争史　：　現代思想の源泉
高橋 昌一郎／著 【フォン・ノイマンの哲学　：　人間の…】 フォン・ノイマンの哲学　：　人間の…
高橋 昌一郎／著 【図鑑哲学　：　人生を変える100の…】 図鑑哲学　：　人生を変える100の…
トム・ジャクソン… 【数学そぞろ歩き　：　学者だけに任せ…】 数学そぞろ歩き　：　学者だけに任せ…
Brian Ha… 【ザ・ヒストリー科学大百科　：　写真…】 ザ・ヒストリー科学大百科　：　写真…
トム・ジャクソン… 【自己分析論】 自己分析論
高橋 昌一郎／著 【パラドックス】 パラドックス
マーガレット・カ… 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【組合せ数学】 組合せ数学
ロビン・ウィルソ… 【ディック・ヘスの圧倒的パズルワール…】 ディック・ヘスの圧倒的パズルワール…
Dick Hes… 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【圏論による量子計算のモデルと論理】 圏論による量子計算のモデルと論理
Chris He… 【愛の論理学】 愛の論理学
高橋 昌一郎／[… 【無限】 無限
イアン・スチュア… 【哲学の奇妙な書棚　：　パズル,パラ…】 哲学の奇妙な書棚　：　パズル,パラ…
Roy Sore… 【対称性　：　不変性の表現】 対称性　：　不変性の表現
Ian Stew…
410.9　410.9
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。