Description:
Cambridge University Press, 2008. Paperback. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) by Hindley, J. Roger
by Hindley, J. Roger
Similar copies are shown below.
Similar copies are shown to the right.
![Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) by Hindley, J. Roger](https://d3525k1ryd2155.cloudfront.net/f/225/054/9780521054225.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger
- New
- Paperback
Cambridge University Press. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
-
Bookseller
Independent bookstores
(US)
- Format/Binding Paperback
- Book Condition New New
- Quantity Available 5
- Binding Paperback
- ISBN 10 0521054222
- ISBN 13 9780521054225
- Publisher Cambridge University Press
- Size 6x0x9
- X weight 11 oz
- Size 6x0x9
We have 4 copies available starting at A$50.97.
![Basic Simple Type Theory](https://d3525k1ryd2155.cloudfront.net/f/225/054/9780521054225.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Basic Simple Type Theory
by Hindley, J. Roger
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521054225 / 0521054222
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
A$50.97FREE shipping to
Show Details
Item Price
A$50.97
FREE shipping to
![Basic Simple Type Theory](https://d3525k1ryd2155.cloudfront.net/f/225/054/9780521054225.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Basic Simple Type Theory
by J. Roger Hindley
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780521054225 / 0521054222
- Quantity Available
- 275
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$65.98A$7.99 shipping to
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advan
Item Price
A$65.98
A$7.99
shipping to
![Basic Simple Type Theory](https://d3525k1ryd2155.cloudfront.net/h/246/001/1415001246.0.m.jpg)
Basic Simple Type Theory
by J. Roger Hindley
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521054225 / 0521054222
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$79.83A$9.95 shipping to
Show Details
Description:
Paperback / softback. New. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.
Item Price
A$79.83
A$9.95
shipping to
![Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)](https://d3525k1ryd2155.cloudfront.net/f/225/054/9780521054225.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521054225 / 0521054222
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
A$114.34FREE shipping to
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
A$114.34
FREE shipping to