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) |
