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.
Read More
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.
Read Less
Add this copy of Proofs and Types (Cambridge Tracts in Theoretical to cart. $224.95, good condition, Sold by Salish Sea Books rated 5.0 out of 5 stars, ships from Bellingham, WA, UNITED STATES, published 1989 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good+; Hardcover; Covers are still glossy with a few light scratches; Foxing to the top textblock, otherwise unblemished textblock edges; Few small spot-marks to the endpapers, otherwise the endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium-Large Format (Quatro, 9.75"-10.75" tall); 1.1 lbs; Teal covers with title in white lettering; 1989, Cambridge University Press; 192 pages; "Proofs and Types (Cambridge Tracts in Theoretical Computer Science), " by Jean-Yves Girard.
Add this copy of Proofs and Types (Cambridge Tracts in Theoretical to cart. $373.21, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1989 by Cambridge University Press.
