saitouenaさんのページ

「木」の定義など、他の本では形式的に定義されていないものが数学的に厳密に扱われている。 理論計算機科学を専攻するにあたって必要な数学（特に順序、well-founded inductionなど）が身に着けられる。