17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)に関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。