現在日本語で読めて、入手できるＬＫ（Cut Eliminationの証明を含む）についての解説を含む本として貴重な一冊。復刊してくれてよかった。今までだったら、日本語から丁寧な本であれば前原昭二の『数理論理学』や、竹内外史の『証明論入門』があったが、いずれも現在手に入らない。そんなわけで、貴重な一冊です。

さらに、この本にはゲンツェンによる自然数論の無矛盾性も載っています。しかも、証明が比較的丁寧に書いてあって、竹内外史の『証明論入門』や“Proof Theory”の自然数論の無矛盾性証明を読んでいたときに役に立ちました。（ただし、ゲンツェンの自然数論の無矛盾性はゲンツェンの論文の全訳に近いです。）そんなわけで、持っていてると役に立ちます。