おひさしぶりの291です。
私にとって言語（英語）の壁は厚いので
そんな立派な本は、ちょっと・・・
という感じです。

とりあえず「コンピュータサイエンス入門」と「線型論理入門」は買いました。
ゆっくり勉強したいと思います。