Cloth $54.95 ISBN: 9780937073834 Published February 1992
Paper $25.00 ISBN: 9780937073827 Published June 1992

Normalization, Cut-Elimination, and the Theory of Proofs

A. M. Ungar

Normalization, Cut-Elimination, and the Theory of Proofs
Bookmark and Share

A. M. Ungar

Distributed for Center for the Study of Language and Information

236 pages | 6 x 9 | © 1992
Cloth $54.95 ISBN: 9780937073834 Published February 1992
Paper $25.00 ISBN: 9780937073827 Published June 1992
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed