単行本(実用) 数学 情報理論のための数理論理学