近刊検索 デルタ

2023年11月8日発売

朝倉書店

出版社名ヨミ:アサクラショテン

記号論理学

このエントリーをはてなブックマークに追加
内容紹介
記号論理学の入門書。命題論理,述語論理,様相論理,直観主義論理の完全性までを扱う。独習書として,また「論理学」の講義テキストとしても使用可能。【主な目次】第1章 論理学とはなにか第2章 命題論理第3章 述語論理第4章 様相論理第5章 直観主義論理補論1 ゲンツェンの論理体系補論2 様相論理への補論補論3 線形論理について
著者略歴
山本 新(ヤマモト アラタ yamamoto arata)
入江 俊夫(イリエ トシオ irie toshio)
田村 高幸(タムラ タカユキ tamura takayuki)
タイトルヨミ
カナ:キゴウロンリガク
ローマ字:kigouronrigaku

※近刊検索デルタの書誌情報はopenBDのAPIを使用しています。

-- 広告 -- AD --

【AD】
今、注目すべき第三書館の本
シネシネナンデダ日記
本物の狂気はあんまり格好よくないです(著者)

-- 広告 -- AD --

もうすぐ発売(1週間以内)
新着:ランダム(5日以内)

>> もっと見る

※近刊検索デルタの書誌情報はopenBDのAPIを利用しています。