Tech Quarto
Search Advanced SearchView Cart   Checkout   
 Location:  Home » Computer Science » Proofs and Types (Cambridge Tracts in Theoretical Computer Science)  
Categories
•Computer Science
•The Internet
•For Dummies
•Web Browsers
•Windows
•Digital Culture
•Multimedia
•Mobile & Wireless
Visit Laptop Nirvana for the best Cheap Discount Laptops
Bestsellers
•The Art of Computer Virus Research and Defense (Symantec Press)
•The Extreme Searcher's Internet Handbook: A Guide for the Serious Searcher
•Dealers of Lightning: Xerox PARC and the Dawn of the Computer Age
•Computer-Assisted Research Design and Analysis
•Architects of the Information Society: Thirty-Five Years of the Laboratory for Computer Science at MIT
•Belief Revision (Cambridge Tracts in Theoretical Computer Science)
•Funding a Revolution: Government Support for Computing Research
•The Essence of Computing Projects: A Student's Guide (Prentice-Hall Essence of Computing)
•Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
•Computer Science: Reflections on the Field, Reflections from the Field

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

zoom enlarge 		Authors: Jean-yves Girard, Yves Lafont, Paul Taylor
Publisher: Cambridge University Press
Category: Book

Buy Used: $111.07



Used (3) from $111.07

Sales Rank: 2240487

Media: Hardcover
Pages: 192
Shipping Weight (lbs): 1.1
Dimensions (in): 10 x 7.1 x 0.6

ISBN: 0521371813
EAN: 9780521371810
ASIN: 0521371813

Publication Date: April 28, 1989
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Condition: Clean- Text free of markings or highlighting - Binding is tight - No spine crease - Cover shows light rubbing - Ships same or next day with USPS Delivery Confirmation
Editorial Reviews:

Product Description
This book is derived from notes prepared by J-Y.Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.

Powered by Associate-O-Matic