●復刊される価値のある内容で、入手可能なうちに購入しておくべき本。
・命題論理
・述語論理
・直観主義論理
・述語計算ＬＫ
・自然数論
・様相論理
・束論と論理
●様相論理や束論に関しては、より専門性の高い「様相論理入門」等との併読がお勧め。

命題論理、述語論理の基礎や直観主義、様相論理の基礎も学べるのですが、現在様々な論理学の教科書が出ている中、この本が貴重なのはLKの解説を含んでいるからだと思います。

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

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