Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
￥ 11,222