Tech Quarto
Search Advanced SearchView Cart   Checkout   
 Location:  Home » Web Browsers » 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 Extreme Searcher's Internet Handbook: A Guide for the Serious Searcher
•The Art of Computer Virus Research and Defense (Symantec Press)
•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
•Funding a Revolution: Government Support for Computing Research
•Belief Revision (Cambridge Tracts in Theoretical Computer Science)
•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: $104.46



Used (2) from $104.46

Sales Rank: 2261393

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
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