Download or read book Mechanizing Proof Theory written by Gianluigi Bellin and published by . This book was released on 1990 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: In Part II we study Herbrand's Theorem in Linear Logic and the No Counterexample Interpretation in a fragment of Peano Arithmetic (section 10). As an application to Ramsey Theory we give a parametric form of the Ramsey Theorem, that generalizes the Infinite, the Finite and the Ramsey-Paris-Harrington Theorems for a fixed exponent (sections 10-13)."