Author: D. A. Wolfram
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
Image provided by third party, not actual book.
£30.00
Author: | D. A. Wolfram |
Illustrator: | N/A |
Publisher: | Cambridge University Press |
Place of publication: | Cambridge |
Year of Publication: | 1993 |
Edition: | N/A |
ISBN: | 0521395380 |
SKU: | 300393 |
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 ffep. Light rubbing to corners of boards and head and tail of spine. (MATHEMATICS) |