あなたが知ってる数学より、ちょっとだけ高度な数学！コンピュータ好きな著者・訳者による、コンピュータ好きな読者のための、「数」→「論理」→「集合」→「計算」をめぐる数学ツアー。