復刊　数理論理学序説

論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明。『共立全書 160.数理論理学序説』として1966年初版発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け単行本に改装し発行するものです。 I．命題論理 §1．真理関数 §2．Boole代数 §3．真理関数の標準形 §4．Tautology §5．擬順序集合 §6．直観主義の論理 §7．古典論理 §8．Sequent §9．命題計算 §10．命題計算の完全性 II．述語論理 §1．命題関数 §2．超限的命題 §3．数学的理論における命題の形式的表現 §4．述語論理 §5．述語計算 §6．数学的理論の形式化 練習問題の解答およびヒント