検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

現代数理論理学序説　　　　　　　　

著者名 古森 雄一／著 　 小野 寛晰／著
著者名ヨミ コモリ ユウイチ　オノ ヒロアキラ
出版者 日本評論社
出版年月 2010.6

書誌詳細

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

タイトル番号 1002000015264
書誌種別 和書
書名 現代数理論理学序説　　　　　　　　
著者名 古森 雄一／著 小野 寛晰／著
書名ヨミ ゲンダイ スウリ ロンリガク ジョセツ　　　
著者名ヨミ コモリ ユウイチ
出版者 日本評論社
出版地 東京
出版年月 2010.6
ページ数 5,177p
大きさ 26cm
価格 ￥３０００
言語区分 日本語
ISBN 4-535-78556-4
ISBN13 978-4-535-78556-4
分類 410.96
件名 記号論理学
内容紹介 ゲンツェンの基本定理、ゲーデルの完全性定理など、数理論理学の成果のうち、現代的な観点からもっとも基本的で重要と思われるテーマを取り上げた入門書。現代的な意義に重点をおいて、新たな視点から解説する。



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

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

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

関連資料

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

410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【工学系の論理数学入門】 工学系の論理数学入門
田中 和明／著 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【論理と代数の基礎　：　初めて学ぶ人…】 論理と代数の基礎　：　初めて学ぶ人…
硲 文夫／著 【幾何的モデル理論入門　：　モデル理…】 幾何的モデル理論入門　：　モデル理…
板井 昌典／著 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著
記号論理学
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【数理神学を学ぶ人のために】 数理神学を学ぶ人のために
落合 仁司／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。