Sara Negri & Jan von Plato, Structural Proof Theory, Cambridge University Press, 2001.

自然演繹と式計算の様々な体系とその対応関係、関係する定理など。地の文での解説も豊富だし、証明もかなりきちんと書いてある。最初の４章までは教科書としてうまく使えるだろうし、非論理的公理を推論規則としてどのように入れるか、そのとき証明論的性質はどうなるかについての第６章はあまり類を見ないもので興味深かった。