Normalization, Cut-Elimination, and the Theory of Proofs
Overview & Synopsis
Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Normalization, Cut-Elimination, and the Theory of Proofs |
|---|---|
| Author / Organization | A. M. Ungar |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Theory of Programming Languages, Theory of Computation, Introduction to Computer Science |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| Publication Year | 1992 |
| ISBN | 0937073822 |
| Resource Verification | Verification pending |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-74696 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Normalization, Cut-Elimination, and the Theory of Proofs • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.