記号論理学

書籍

オンデマンド版

大活字版

書籍

雑誌

電子版

読み上げ可能電子版

オーディオブック

著：山本新

著：入江俊夫

著：田村高幸

出版社：朝倉書店

同一作品の他版

アクセシブルブック

内容紹介

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

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

著者略歴

著：山本新
山本新　　1949年生、前千葉大非常勤講師

著：入江俊夫
入江俊夫　　千葉大学助教

著：田村高幸
田村高幸　　東邦大学非常勤講師

ISBN：9784254500387
出版社：朝倉書店
判型：A5
ページ数：240ページ
定価：3200円（本体）
発行年月日：2023年11月
発売日：2023年11月08日
国際分類コード【Thema（シーマ）】１：PB。

ご購入はこちら