検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 下にある「予約カートに入れる」を押すと予約カートに追加できます。

蔵書情報

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

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

書誌情報サマリ

タイトル

記号論理学

著者名 山本 新/著
著者名ヨミ ヤマモト シン
出版者 朝倉書店
出版年月 2023.11


この資料に対する操作

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

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

この資料に対する操作

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


登録する本棚ログインメモ


資料情報

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

No. 所蔵館 資料番号 資料種別 請求記号 配架場所 帯出区分 状態 在架
1 中央1218081097一般図書410.9/キ/開架通常貸出貸出中  ×

関連資料

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

2023
410.96 410.96
記号論理学

書誌詳細

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

タイトルコード 1001111618391
書誌種別 図書(和書)
著者名 山本 新/著   入江 俊夫/著   田村 高幸/著
著者名ヨミ ヤマモト シン イリエ トシオ タムラ タカユキ
出版者 朝倉書店
出版年月 2023.11
ページ数 9,221p
大きさ 21cm
ISBN 4-254-50038-7
分類記号 410.96
タイトル 記号論理学
書名ヨミ キゴウ ロンリガク
内容紹介 記号論理学の概説書。独習書として、また「論理学」の講義テキストとしても使用できるよう、命題論理から述語論理、様相論理、直観主義論理の完全性までを扱う。
著者紹介 岡山県生まれ。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任。
件名1 記号論理学

(他の紹介)目次 第1章 論理学とはなにか(正しい推論
対象言語とメタ言語
公理体系)
第2章 命題論理(命題の記号化
論理式 ほか)
第3章 述語論理(命題の記号化
限量記号の用法 ほか)
第4章 様相論理(様相命題論理
意味論
健全性
完全性
決定可能性
様相述語論理
意味論
健全性
完全性)
第5章 直観主義論理(直観主義命題論理
意味論
健全性
完全性
決定可能性
直観主義述語論理
意味論
健全性
完全性)
補論1 ゲンツェンの論理体系
補論2 様相論理への補論
補論3 線形論理について
(他の紹介)著者紹介 山本 新
 1949年岡山県に生まれる。1982年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)
入江 俊夫
 1970年栃木県に生まれる。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士(文学)(本データはこの書籍が刊行された当時に掲載されていたものです)
田村 高幸
 1962年東京都に生まれる。現在、千葉大学大学院社会科学研究院助教。博士(理学)(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目


目次

前のページへ

本文はここまでです。


ページの終わりです。