Distributed for the Center for the Study of Language and Information

A. M. Ungar

Normalization, Cut-Elimination, and the Theory of Proofs

236 pages,  6 x 9  © 1992
Series: Center for the Study of Language and Information - Lecture Notes

Cloth $54.95

ISBN: 9780937073834   Published February 1992

Paper $25.00

ISBN: 9780937073827   Published June 1992

• Synopsis

Subjects

• Mathematics and Statistics
• Philosophy: Logic and Philosophy of Language

---

You may purchase this title at these fine bookstores. Outside the USA, consult our international information page.

Questions about this title? email sales@press.uchicago.edu.