( )
定価:3,520円(3,200円+税)
判型:A5
書店在庫をチェック
内容紹介
記号論理学の入門書。命題論理,述語論理,様相論理,直観主義論理の完全性までを扱う。独習書として,また「論理学」の講義テキストとしても使用可能。【主な目次】第1章 論理学とはなにか第2章 命題論理第3章 述語論理第4章 様相論理第5章 直観主義論理補論1 ゲンツェンの論理体系補論2 様相論理への補論補論3 線形論理について
著者略歴
山本 新(ヤマモト アラタ yamamoto arata)
入江 俊夫(イリエ トシオ irie toshio)
田村 高幸(タムラ タカユキ tamura takayuki)
タイトルヨミ
カナ:キゴウロンリガク
ローマ字:kigouronrigaku
※近刊検索デルタの書誌情報はopenBDのAPIを使用しています。
もうすぐ発売(1週間以内)
近刊:ランダム
※近刊検索デルタの書誌情報はopenBDのAPIを利用しています。