Some recent computers auctions on eBay:

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) by
GBP 44.19
End Date: Wednesday Aug-27-2014 22:19:52 PDT
Buy It Now for only: GBP 44.19
Buy it now | Add to watch list