Seller Inventory # think_cr8_0521371813
Synopsis: The book is brand new and will be dispatched from UK.
Synopsis: 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.
Title: Proofs and Types (Cambridge Tracts in ...
Publisher: Brand: Cambridge University Press
Publication Date: 1989
Book Condition: new
Book Description Hardcover. Condition: Used; Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence!. Seller Inventory # 4079305
Book Description Hardcover. Condition: Near Fine. with equations (illustrator). 1st Edition. Green cloth whit lettering. Minuscule wear to the corners and spine. A near fine, tight, bright copy with a flawless text. Seller Inventory # 47406
Book Description Hardcover. Condition: Very Good. xi 176p turquoise hardback with white titles, excellent copy, fresh and well preserved, just a little spotting to the spine, 1990 first reprint with minor corrections 200 Sprache: Englisch. Seller Inventory # 35302
Book Description Hardcover. Condition: Good. We ship daily + good service buy with confidence. Seller Inventory # KHB-70044
Book Description Condition: Good. A+ Customer service! Satisfaction Guaranteed! Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. Seller Inventory # 0521371813-2-4
Book Description Condition: Fair. Independent family-run bookstore for over 50 years! Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within. Seller Inventory # bk0521371813xvz189zvxacp
Book Description Condition: new. Seller Inventory # newportN0521371813