1. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Band 42).
by Hindley, J. Roger: 
Price: USD 26.89
Dealer: ZVAB, Antiquariat Bernhardt
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XI, 186 Seiten, Englisch 340g [Kassel, Germany] [Publication Year: 2008]  

2. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 29.20
Dealer: Alibris, ThriftBooks-Dallas via Alibris
Description: Cambridge University Press 2008 Softcover Very good May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. 

3. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Band 42).
by Hindley, J. Roger: 
Price: USD 29.65
Dealer: AbebooksDE, Antiquariat Bernhardt
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XI, 186 Seiten, Englisch 340g [Kassel, Germany] [Publication Year: 2008]  

4. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 30.42
Dealer: Abebooks, ThriftBooks-Dallas
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.66 [Dallas, TX, U.S.A.] [Publication Year: 2008]  

5. Basic Simple Type Theory
by Hindley J. Roger 
Price: USD 33.20
Dealer: Biblio, ThriftBooks
Description: Cambridge University Press, Date: 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. 2008. Cambridge University Press ISBN 0521054222 9780521054225 [US] 

6. Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger  
Price: USD 34.72
Dealer: AmazonUK, AmazonUK Marketplace
Description: Used - isbn: 0521054222 - isbn13: 9780521054225 Cambridge University Press  

7. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 39.78
Dealer: AbebooksUK, Chiron Media
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press 2008-02] Softcover [Wallingford, United Kingdom] [Publication Year: 2008]  

8. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 40.99
Dealer: Alibris
Description: Cambridge Cambridge University Press 2008 Trade paperback New. Trade paperback (US). 200 p. Cambridge Tracts in Theoretical Computer Science . 1 Tables, unspecified; 10 Line drawings, unspecified. Intended for professional and scholarly audience. 

9. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 42.95
Dealer: AbebooksUK, GreatBookPricesUK
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover [Castle Donington, DERBY, United Kingdom] [Publication Year: 2008]  

10. Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science
by J. Roger Hindley 
Price: USD 43.16
Dealer: Biblio, Ergodebooks
Description: Cambridge University Press, Date: 2008-01-21. Paperback. Good. 2008. Cambridge University Press ISBN 0521054222 9780521054225 [US] 

11. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 43.72
Dealer: Abebooks, GF Books, Inc.
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. [Hawthorne, CA, U.S.A.] [Publication Year: 2008]  

12. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 43.74
Dealer: Abebooks, SecondSale
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. [Montgomery, IL, U.S.A.] [Publication Year: 2008]  

13. Basic simple type theory - J. Roger Hindley
by J. Roger Hindley 
Price: USD 43.98
Dealer: AbebooksFR, Book Hémisphères
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: 2008] Softcover Occasion - Bon Etat - Basic simple type theory (2008) - Grand Format [Kervignac, France] [Publication Year: 2008]  

14. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 44.54
Dealer: Biblio, Revaluation Books
Description: Cambridge Univ Pr, Date: 2008. Paperback. New. 1st edition. 186 pages. 8.75x6.00x0.50 inches. 2008. Cambridge Univ Pr ISBN 0521054222 9780521054225 [GB] 

15. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 45.48
Dealer: AbebooksUK, Revaluation Books
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge Univ Pr] Softcover 1st edition. 186 pages. 8.75x6.00x0.50 inches. In Stock. [Exeter, United Kingdom] [Publication Year: 2008]  

16. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 46.23
Dealer: Abebooks, GreatBookPrices
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover [Columbia, MD, U.S.A.] [Publication Year: 2008]  

17. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 46.39
Dealer: Biblio, Ria Christie Collections
Description: New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Basic Simple Type Theory. ISBN 0521054222 9780521054225 [GB] 

18. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 47.93
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover [Dallas, TX, U.S.A.] [Publication Year: 2008]  

19. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 48.88
Dealer: Abebooks, GF Books, Inc.
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Book is in NEW condition. [Hawthorne, CA, U.S.A.] [Publication Year: 2008]  

20. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 51.21
Dealer: Biblio, The Saint Bookstore
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. ISBN 0521054222 9780521054225 [GB] 

21. Basic Simple Type Theory (Paperback or Softback)
by Hindley, J. Roger 
Price: USD 51.31
Dealer: Abebooks, BargainBookStores
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press 2/1/2008] Softcover Basic Simple Type Theory 0.66 [Grand Rapids, MI, U.S.A.] [Publication Year: 2008]  

22. Basic Simple Type Theory (Paperback Or Softback)
by Hindley, J. Roger 
Price: USD 53.04
Dealer: Alibris, BargainBookStores via Alibris
Description: Cambridge University Press 2/1/2008 Paperback or Softback New in New jacket Basic Simple Type Theory (Paperback or Softback) 

23. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 54.04
Dealer: Abebooks, Front Cover Books
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover [Denver, CO, U.S.A.] [Publication Year: 2008]  

24. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 54.25
Dealer: Alibris, Ria Christie Books via Alibris
Description: Cambridge Cambridge University Press 2008 Trade paperback New. Trade paperback (US). 200 p. Cambridge Tracts in Theoretical Computer Science . 1 Tables, unspecified; 10 Line drawings, unspecified. Intended for professional and scholarly audience. 

25. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 54.77
Dealer: Abebooks, Wizard Books
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover New [Long Beach, CA, U.S.A.] [Publication Year: 2008]  

26. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 57.77
Dealer: Abebooks, Book Deals
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover New! This book is in the same immaculate condition as when it was published [Tucson, AZ, U.S.A.] [Publication Year: 2008]  

27. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 60.83
Dealer: Alibris, Revaluation Books via Alibris
Description: Cambridge Univ Pr 2008 Softcover New 1st edition. 186 pages. 8.75x6.00x0.50 inches. 

28. Basic Simple Type Theory
by Hindley, J. Roger 
Price: USD 61.39
Dealer: Alibris, Booksplease via Alibris
Description: Cambridge Cambridge University Press 2008 Trade paperback New. Trade paperback (US). Contains: Line drawings, Tables. Cambridge Tracts in Theoretical Computer Science . 10 b/w illus. 1 table. Intended for professional and scholarly audience. 

29. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 67.95
Dealer: ZVAB, AHA-BUCH GmbH
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists. [Einbeck, Germany] [Publication Year: 2008]  

30. Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger 
Price: USD 68.77
Dealer: Abebooks, GoldBooks
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover New Copy. Customer Service Guaranteed [Denver, CO, U.S.A.] [Publication Year: 2008]  

31. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 74.91
Dealer: AbebooksDE, AHA-BUCH GmbH
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists. [Einbeck, Germany] [Publication Year: 2008]  

32. Basic Simple Type Theory
by J. Roger Hindley 
Price: USD 139.00
Dealer: Biblio, Collectors' Bookstore
Description: Cambridge University Press, Date: 2008. Paperback. New. First Edition thus, as good as new. Basic Simple Type Theory by J. Roger Hindley. Published by Cambridge University Press in 2008. Paperback ISBN:9780521054225. Collectible item in excellent condition. 2008. Cambridge University Press ISBN 0521054222 9780521054225 [BE] 

33. Basic Simple Type Theory Pb
by Vv.Aa. 
Price: USD 478.62
Dealer: Abebooks, Iridium_Books
Description: ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: CAMBRIDGE] Softcover [DH, SE, Spain] [Publication Year: 2008]