Items related to Proofs and Types (Cambridge Tracts in Theoretical Computer...
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1989
- ISBN 10 0521371813
- ISBN 13 9780521371810
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages192
- Rating
Search results for Proofs and Types (Cambridge Tracts in Theoretical Computer...
Stock Image
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1989
ISBN 10: 0521371813
ISBN 13: 9780521371810
Used
Hardcover
Seller: Salish Sea Books, Bellingham, WA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 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. Seller Inventory # SKU-1518AG11804283
Quantity: 1 available