検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

スマリヤン数理論理学　　述語論理と完全性定理　　　　　　

著者名 Raymond Smullyan／[著] 　 高橋 昌一郎／監訳 　 村上 祐子／訳
著者名ヨミ Raymond Smullyan　タカハシ ショウイチロウ　ムラカミ ユウコ
出版者 丸善出版
出版年月 2014.11

書誌詳細

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

タイトル番号 1002000489462
書誌種別 和書
書名 スマリヤン数理論理学　　述語論理と完全性定理　　　　　　
副書名 述語論理と完全性定理
著者名 Raymond Smullyan／[著] 高橋 昌一郎／監訳 村上 祐子／訳
書名ヨミ スマリヤン スウリ ロンリガク　ジュツゴ ロンリ ト カンゼンセイ テイリ　　
著者名ヨミ Raymond Smullyan
出版者 丸善出版
出版地 東京
出版年月 2014.11
ページ数 4,196p
大きさ 21cm
価格 ￥３０００
言語区分 日本語
ISBN 4-621-08785-5
ISBN13 978-4-621-08785-5
分類 410.96
件名 記号論理学
内容紹介 「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

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

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

関連資料

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

Raymond Smullyan　高橋 昌一郎　村上 祐子
【新書100冊　：　視野を広げる読書】 新書100冊　：　視野を広げる読書
高橋 昌一郎／著 【情報を…行動経済学・統計学・情報学編】 情報を…行動経済学・統計学・情報学編
情報文化研究所／… 【パラドックス大図鑑】 パラドックス大図鑑
高橋 昌一郎／監… 【情報を正しく選択するための認知バイ…】 情報を正しく選択するための認知バイ…
情報文化研究所／… 【20世紀論争史　：　現代思想の源泉】 20世紀論争史　：　現代思想の源泉
高橋 昌一郎／著 【フォン・ノイマンの哲学　：　人間の…】 フォン・ノイマンの哲学　：　人間の…
高橋 昌一郎／著 【ザ・ヒストリー科学大百科　：　写真…】 ザ・ヒストリー科学大百科　：　写真…
トム・ジャクソン… 【自己分析論】 自己分析論
高橋 昌一郎／著 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【パラドックス】 パラドックス
マーガレット・カ… 【反オカルト論】 反オカルト論
高橋 昌一郎／著 【エニグマ アラン・チューリング伝下】 エニグマ アラン・チューリング伝下
アンドルー・ホッ… 【ノイマン・ゲーデル・チューリング】 ノイマン・ゲーデル・チューリング
高橋 昌一郎／著 【絵解きパラドックス　：　思考の迷宮…】 絵解きパラドックス　：　思考の迷宮…
高橋 昌一郎／監… 【小林秀雄の哲学】 小林秀雄の哲学
高橋 昌一郎／著 【哲学ファンタジー　：　パズル・パラ…】 哲学ファンタジー　：　パズル・パラ…
レイモンド・スマ… 【科学技術をよく考える　：　クリティ…】 科学技術をよく考える　：　クリティ…
伊勢田 哲治／編… 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【感性の限界　：　不合理性・不自由性…】 感性の限界　：　不合理性・不自由性…
高橋 昌一郎／著 【東大生の論理　：　「理性」をめぐる…】 東大生の論理　：　「理性」をめぐる…
高橋 昌一郎／著 【知性の限界　：　不可測性・不確実性…】 知性の限界　：　不可測性・不確実性…
高橋 昌一郎／著 【懐疑論者の事典下】 懐疑論者の事典下
ロバート・T.キ… 【懐疑論者の事典上】 懐疑論者の事典上
ロバート・T.キ… 【理性の限界　：　不可能性・不確定性…】 理性の限界　：　不可能性・不確定性…
高橋 昌一郎／著 【ゆうちゃんのみきさーしゃ】 ゆうちゃんのみきさーしゃ
村上 祐子／さく…
410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【工学系の論理数学入門】 工学系の論理数学入門
田中 和明／著 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【論理と代数の基礎　：　初めて学ぶ人…】 論理と代数の基礎　：　初めて学ぶ人…
硲 文夫／著 【幾何的モデル理論入門　：　モデル理…】 幾何的モデル理論入門　：　モデル理…
板井 昌典／著 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著
記号論理学
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【数理神学を学ぶ人のために】 数理神学を学ぶ人のために
落合 仁司／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。