復刊 数理論理学序説

復刊 数理論理学序説
著者 前原 昭二
分野 数学  > 論理  > 数理論理
シリーズ 数学  > 復刊・復刻・新装版  > 復刊
発売日 2010/09/25
ISBN 9784320019430
体裁 A5・232頁
定価 4,290円 (本体3,900円 + 税10%)
  • この本の
    内容
  • 目次
  • 関連情報
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明。『共立全書 160.数理論理学序説』として1966年初版発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け単行本に改装し発行するものです。
I.命題論理
§1.真理関数
§2.Boole代数
§3.真理関数の標準形
§4.Tautology
§5.擬順序集合
§6.直観主義の論理
§7.古典論理
§8.Sequent
§9.命題計算
§10.命題計算の完全性

II.述語論理
§1.命題関数
§2.超限的命題
§3.数学的理論における命題の形式的表現
§4.述語論理
§5.述語計算
§6.数学的理論の形式化

練習問題の解答およびヒント

Shopping
ご注文

4,290円
(本体3,900円 + 税10%)

ネット書店で購入