TaPLを買うか迷い中

id:alohakunさんに進められた、「Types and Programming Languages」を買うか迷い中。
9000円と値が張るため、自分が読みきれるかが心配。
計算論 計算可能性とラムダ計算は図書館で予約した。
読んでみて良さそうなら購入して手元に置く。

追記

計算論 計算可能性とラムダ計算、借りてきた。これは厳しい。。