books.google.com - This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category...http://books.google.com/books/about/Basic_Proof_Theory.html?id=x9x6F_4mUPgC&utm_source=gb-gplus-shareBasic Proof Theory