¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION

First Page		Document Content
Date: 2005-08-08 21:51:44		¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION Add to Reading List Source URL: home.uchicago.edu Download Document from Source Website File Size: 235,82 KB Share Document on Facebook