復刊 数理論理学序説

書籍情報
シリーズ名復刊・復刻・新装版 復刊 
ISBN978-4-320-01943-0
判型A5 
ページ数232ページ
発行年月2010年09月
本体価格3,900円
復刊 数理論理学序説 書影
復刊 数理論理学序説

論理計算の形式的な実際面とともに,記号論理学の基本的な考え方や基礎概念をわかりやすく説明。『共立全書 160.数理論理学序説』として1966年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受け単行本に改装し発行するものです。

目次

I.命題論理
§1.真理関数
§2.Boole代数
§3.真理関数の標準形
§4.Tautology
§5.擬順序集合
§6.直観主義の論理
§7.古典論理
§8.Sequent
§9.命題計算
§10.命題計算の完全性

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

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