数理論理学序説

こちらの書籍は旧版です。最新版は復刊数理論理学序説となります。

この書籍は現在お取り扱いできません。

書籍情報
シリーズ名共立全書 【160】巻
ISBN978-4-320-00160-2
判型B6 
ページ数232ページ
発行年月1966年06月
本体価格1,400円
数理論理学序説 書影
数理論理学序説

論理計算の形式的な実際面とともに,記号論理学の基本的な考え方や基礎概念をわかりやすく説明。

目次

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

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

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