『論理と集合から始める数学の基礎』

https://gyazo.com/1ab0b7e4336819f1195fcebdfe29071a

第1部　論理と集合の基礎

第1章　集合(その1)

第2章　命題計算

第3章　述語と真理集合

第4章　集合(その2)

第5章　2変数以上の述語

第6章　述語と数学的論証

第2部　集合で表される構造

第8章　2項関係とその表現

第9章　順序集合と束

第10章　同値関係と商集合

第11章　集合の要素の個数

第12章　可算集合

第3部　情報科学のための論理数学

第13章　命題計算の応用

第14章　ブール代数

第15章　論理設計と命題計算

第16章　帰納法と再帰的定義