Author: A. M. Ungar
Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information Publication Lecture Notes)
Image provided by third party, not actual book.
£35.00
| Author: | A. M. Ungar |
| Illustrator: | N/A |
| Publisher: | The Center for the Study of Language and Information Publications |
| Place of publication: | CA, U.S.A. |
| Year of Publication: | 1992 |
| Edition: | N/A |
| ISBN: | 0937073822 |
| SKU: | 055981 |
| Book condition: | Very Good |
| Jacket Condition: | No d/j as Published |
| Binding Type: | Paperback |
| Book Size: | 8vo - over 7¾" - 9¾" tall |
| Book Catalogs: | N/A |
| Book Keywords: | N/A |
| Book Note: | Type: Book N.B. Small plain label inside front cover. |
