記号論理学

Name: 記号論理学
Brand: 朝倉書店
Price: 3520.0 JPY
ISBN: 9784254500387

記号論理学

山本新

入江俊夫

田村高幸

3,520 円（税込）

SALE 売り切れ

発売日：2023/11/08
出版社：朝倉書店
ISBN：9784254500387

ネットストア在庫詳細

読み込み中...

My店舗在庫

My店舗登録で在庫確認と店舗お受け取りのご利用が可能になります。(要ログイン)

店舗在庫

全店舗の在庫一覧

商品説明

記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。【主な目次】第1章　論理学とはなにか第2章　命題論理第3章　述語論理第4章　様相論理第5章　直観主義論理補論1　ゲンツェンの論理体系補論2　様相論理への...

商品説明

記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。

【主な目次】
第1章　論理学とはなにか
第2章　命題論理
第3章　述語論理
第4章　様相論理
第5章　直観主義論理
補論1　ゲンツェンの論理体系
補論2　様相論理への補論
補論3　線形論理について

詳細を表示する

カスタマーレビュー

honto本の通販ストアのレビュー(0件)

並び順:

1/1ページ

記号論理学