Author: J. Roger Hindley
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Author: | J. Roger Hindley |
Illustrator: | N/A |
Publisher: | Cambridge University Press |
Place of publication: | Cambridge |
Year of Publication: | 1997 |
Edition: | N/A |
ISBN: | 0521465184 |
SKU: | 056352 |
Book condition: | Very Good |
Jacket Condition: | No d/j as Published |
Binding Type: | Cloth |
Book Size: | 8vo - over 7¾" - 9¾" tall |
Book Catalogs: | N/A |
Book Keywords: | N/A |
Book Note: | Type: Book N.B. Small plain label to inside front cover. Slight rubbing to corners of boards and head and tail of spine. |