Home » Authors » A. M. Ungar

A. M. Ungar

Public reference bibliography and cataloged PDF materials authored or published by A. M. Ungar.

Found 1 document(s) Page 1 of 1

Normalization, Cut-Elimination, and the Theory of Proofs

Year: 1992 • ISBN: 0937073822 • Source: freecomputerbooks.com • Listed PDF

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...