Book

せっかく名古屋駅まで行ったので，ついでにJR名古屋高島屋の三省堂書店で，最近気になっているキーワード"dynamic"に惹かれて，"Dynamic Logic"(Harel, D., Kozen, D., and Tiuryn J. MIT Press, 2000)を購入．奥付に，

This book was set in Times Roman by the author using the LaTeX ducument preparation system.