文系学生のために初歩からていねいに説き起こして不完全性定理にまで至る記号論理学の入門書．〔内容〕対象言語とメタ言語／命題論理の文法／真理関数と真理表／トートロジー／二値原理／述語論理の文法／ペアノ公理系／他