検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

数理論理学　　　　　　

著者名 嘉田 勝／著
著者名ヨミ カダ マサル
出版者 森北出版
出版年月 2025.6

書誌詳細

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

タイトル番号 1006000917221
書誌種別 和書
書名 数理論理学　　　　　　
著者名 嘉田 勝／著
書名ヨミ スウリ ロンリガク　　　
著者名ヨミ カダ マサル
出版者 森北出版
出版地 東京
出版年月 2025.6
ページ数 9,209p
大きさ 22cm
価格 ￥３２００
言語区分 日本語
ISBN 4-627-09751-3
ISBN13 978-4-627-09751-3
分類 410.96
件名 記号論理学
内容紹介 数理論理学の主要な基本定理である「ゲーデルの完全性定理」と「ゲーデルの不完全性定理」への到達を目標とした入門書。重要なトピックをおさえつつ、初学者にとって学びやすいルートでわかりやすく解説する。
著者紹介 大阪府立大学大学院理学系研究科博士課程修了。大阪公立大学大学院理学研究科准教授。専門は数理論理学、集合論的位相空間論。著書に「論理と集合から始める数学の基礎」など。



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0024319139県立図書館410.96/ｶﾀ/閲覧室一般和書貸可資料　在庫　　　  ○

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

関連資料

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

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

本文はここまでです。

ページの終わりです。