数学や情報科学・情報工学に必須の「論理」と「集合」を正面からとりあげ、実際の使われ方に即して実践的に解説した。

第１部　論理と集合の基礎
第1章　集合(その1)
第2章　命題計算
第3章　述語と真理集合
第4章　集合(その2)
第5章　2変数以上の述語
第6章　述語と数学的論証

第２部　集合で表される構造
第7章　写像
第8章　2項関係とその表現
第9章　順序集合と束
第10章　同値関係と商集合
第11章　集合の要素の個数
第12章　可算集合

第３部　情報科学のための論理数学
第13章　命題計算の応用
第14章　ブール代数
第15章　論理設計と命題計算
第16章　帰納法と再帰的定義