Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
0521371813
9780521371810
Description:
Translated (from French) and developed from notes prepared for a course at the University of Paris VII. Deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science. Annotation copyright Book News, Inc. Portland, Or.
Best prices to buy, sell, or rent ISBN 9780521371810
Frequently Asked Questions about Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
The price for the book starts from $103.98 on Amazon and is available from 5 sellers at the moment.
If you’re interested in selling back the Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) book, the best buyback offer comes from and is $ for the book in good condition.
The Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) book is in very low demand now as the rank for the book is 4,735,369 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
The highest price to sell back the Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) book within the last three months was on October 14 and it was $7.00.