情報科学の基礎数学である論理数学を体系的に基本から解説した入門書である。