内容紹介
さまざまな分野で用いられている論理学．本書は哲学系・数学系・情報系・言語系のいずれかに偏ることなく，その共通部分となる初歩の部分が身につくことを目指したテキストである．予備知識はいっさい仮定せず，一からていねいに解説する．具体例や演習問題も豊富．
目次
I 一階論理の統語論と意味論
第１章 予備知識
第２章 論理学とは何か
第３章 一階命題論理：統語論と意味論
第４章 二進法とデジタル回路
第５章 一階述語論理：統語論と意味論
第６章 タブロー
II 一階論理の証明論
第７章 ヒルベルト流証明論
第８章 自然演繹
第９章 シーケント計算序論
第10章 ゲンツェン流シーケント計算
第11章 カット除去定理
第12章 タブロー式シーケント計算
第13章 健全性と完全性