検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

スマリヤン数理論理学講義　下巻　　　　不完全性定理の先へ　

著者名 レイモンド・M.スマリヤン／著 　 田中 一之／監訳 　 川辺 治之／訳
著者名ヨミ レイモンド M スマリヤン　タナカ カズユキ　カワベ ハルユキ
出版者 日本評論社
出版年月 2018.9

書誌詳細

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

タイトル番号 1006000326270
書誌種別 和書
書名 スマリヤン数理論理学講義　下巻　　　　不完全性定理の先へ　
著者名 レイモンド・M.スマリヤン／著 田中 一之／監訳 川辺 治之／訳
書名ヨミ スマリヤン スウリ ロンリガク コウギ　　　フカンゼンセイ テイリ ノ サキ エ
著者名ヨミ レイモンド M スマリヤン
各巻書名 不完全性定理の先へ
出版者 日本評論社
出版地 東京
出版年月 2018.9
ページ数 5,312p
大きさ 22cm
価格 ￥３８００
言語区分 日本語
ISBN 4-535-78851-0
ISBN13 978-4-535-78851-0
分類 410.96
件名 記号論理学
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。
著者紹介 1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
注記 原タイトル:A beginner's further guide to mathematical logic



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0023305295県立図書館410.96/ｽﾏ/書庫１一般和書貸可資料　在庫　　　  ○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

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

2002
風
【江戸生活事典】 江戸生活事典
三田村 鳶魚／著… 【中国手仕事紀行　：　雲南省 貴州省】 中国手仕事紀行　：　雲南省 貴州省
奥村 忍／著,在… 【藤枝遊里史】 藤枝遊里史
中村 宏樹／編集 【<図説>世界の性と売買の歴史　：　…】 <図説>世界の性と売買の歴史　：　…
ケイト・リスター… 【大人も知らない?日本文化のなぞ事典】 大人も知らない?日本文化のなぞ事典
日本文化のなぞ研… 【艶本の歴史　：　江戸時代好色文芸本…】 艶本の歴史　：　江戸時代好色文芸本…
中野 栄三／著 【帝鑑図と帝鑑図説　：　日本における…】 帝鑑図と帝鑑図説　：　日本における…
小助川 元太／編… 【ふるさと山梨の民俗世界　：　可能性…】 ふるさと山梨の民俗世界　：　可能性…
山梨民俗研究会／… 【京都秦家　：　町家の暮らしと歴史】 京都秦家　：　町家の暮らしと歴史
秋元 せき／著,… 【死者の結婚　：　慰霊のフォークロア】 死者の結婚　：　慰霊のフォークロア
櫻井 義秀／著 【水と人の列島史　：　農耕・都市・信…】 水と人の列島史　：　農耕・都市・信…
松木 武彦／編,… 【41人の嵐　：　台風10号と両俣小…】 41人の嵐　：　台風10号と両俣小…
桂木 優／著 【落語の人、春風亭一之輔】 落語の人、春風亭一之輔
中村 計／著 【風景画のレッスン　：　形・構図・色…】 風景画のレッスン　：　形・構図・色…
ミッチェル・アル… 【朝鮮民衆の社会史　：　現代韓国の源…】 朝鮮民衆の社会史　：　現代韓国の源…
趙 景達／著 【日本人】 日本人
柳田 國男／編 【自治体職員のための水害救援法務ハン…】 自治体職員のための水害救援法務ハン…
中村 健人／著,… 【戦後出版文化史のなかのカストリ雑誌】 戦後出版文化史のなかのカストリ雑誌
石川 巧／編集代… 【歴世風俗印画集　：　写真でみる装い…】 歴世風俗印画集　：　写真でみる装い…
江馬 務／著,青… 【メガソーラー及び大規模風力事業と地…】 メガソーラー及び大規模風力事業と地…
日本弁護士連合会… 【都市祭礼と中世京都　：　表象と実像】 都市祭礼と中世京都　：　表象と実像
河内 将芳／著 【自然に学び、自然に備える　…2023】 自然に学び、自然に備える　…2023
中部地域づくり協… 【懐風藻漢字索引】 懐風藻漢字索引
辰巳 正明／編 【中国社会・遊戯図譜　：　清末の絵入…】 中国社会・遊戯図譜　：　清末の絵入…
相田 洋／著 【焼津遊里史】 焼津遊里史
中村 宏樹／編集
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。