• Product Image
1 0
デフォルト画像 ホバー画像
  • 発売日：2023/11/08
  • 出版社：朝倉書店
  • ISBN/JAN：9784254500387

数学基礎論

記号論理学

記号論理学

山本新
入江俊夫
田村高幸
3,520 円（税込）
3,200 円
セール 売り切れ
デフォルト画像 ホバー画像
  • 発売日：2023/11/08
  • 出版社：朝倉書店
  • ISBN/JAN：9784254500387
ネットストア在庫
    在庫△
    提携倉庫在庫あり
店舗受け取り(My店舗)
最大5店舗までご登録いただけます。

  • My店舗を登録いただくと、店舗お受け取りの在庫状況を確認することができます。 （受け取り可能店舗のみ）

    My店舗登録
各店在庫状況
商品説明
記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。

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

最近チェックした商品

お知らせ