資料詳細

  • 1 件中、 1 件目

記号論理学

山本 新／著 入江 俊夫／著

朝倉書店 2023.11

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス /410.96/ｷｺ/ 1112443054 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル 記号論理学
著者 山本 新 ／著, 入江 俊夫 ／著, 田村 高幸 ／著  
出版者 朝倉書店
出版年 2023.11
ページ数 9,221p
大きさ 21cm
一般件名 記号論理学
NDC分類(9版) 410.96
内容紹介 記号論理学の概説書。独習書として、また「論理学」の講義テキストとしても使用できるよう、命題論理から述語論理、様相論理、直観主義論理の完全性までを扱う。
ISBN 4-254-50038-7

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第1章 論理学とはなにか
第2章 命題論理
第3章 述語論理
第4章 様相論理
第5章 直観主義論理
補論1 ゲンツェンの論理体系
補論2 様相論理への補論
補論3 線形論理について

ページの先頭へ