論理学の初級コースの内容を平易に説く．まず命題論理と述語論理をわかりやすく述べ，完全性定理やブール代数を加えて，中級コースの種々の議論への橋渡しとする．コンパクトな中にも，とくに理科の学生や専門課程へつながる様々な工夫がこらされている．
発売済み
広告
