■

• A. S. Troelstra and H. Schwichtenberg　　Basic Proof Theory, Second Edition, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 43, 2000

書店で手に取って購入を迷ったこともあったが、やはり買っておくことにする。その時はわからなかったが、それだけの価値がある本のようである。