Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

Jean-Yves Girard

Published by Brand: Cambridge University Press, 1989
ISBN 10: 0521371813 / ISBN 13: 9780521371810
New / Hardcover / Quantity: 0
From GoldBooks (Austin, TX, U.S.A.)
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Seller Inventory # think_cr8_0521371813

About this title:

Book ratings provided by Goodreads:
3.92 avg rating
(13 ratings)

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Proofs and Types (Cambridge Tracts in ...
Publisher: Brand: Cambridge University Press
Publication Date: 1989
Binding: Hardcover
Book Condition: new

Top Search Results from the AbeBooks Marketplace

1.

Girard, Jean-Yves and Lafont, Yves and Taylor, Paul
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
Used Hardcover Quantity: 1
Seller:
Greener Books
(London, United Kingdom)

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

More information about this seller | Contact this seller

Buy Used
102.45
Convert currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, rates & speeds

2.

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul
Published by Cambridge University Press, Cambridge and New York (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
Used Hardcover First Edition Quantity: 1
Seller:
Oracle Junction Bookshop
(Buffalo, NY, U.S.A.)

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

More information about this seller | Contact this seller

Buy Used
150.35
Convert currency

Add to Basket

Shipping: 36.49
From U.S.A. to United Kingdom
Destination, rates & speeds

3.

Girard, Jean-Yves, Paul Taylor and Yves Lafont:
Published by Cambridge University Press (1990)
ISBN 10: 0521371813 ISBN 13: 9780521371810
Used Hardcover Quantity: 1
Seller:
Plurabelle Books Ltd
(Cambridge, United Kingdom)

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

More information about this seller | Contact this seller

Buy Used
180
Convert currency

Add to Basket

Shipping: 3
Within United Kingdom
Destination, rates & speeds

4.

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
Used Hardcover Quantity: 1
Seller:
buyhereforbestdeals
(Jersey City, NJ, U.S.A.)

Book Description Hardcover. Condition: Good. We ship daily + good service buy with confidence. Seller Inventory # KHB-70044

More information about this seller | Contact this seller

Buy Used
219.58
Convert currency

Add to Basket

Shipping: 17.84
From U.S.A. to United Kingdom
Destination, rates & speeds

5.

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
Used Hardcover Quantity: 1
Seller:
GlassFrogBooks
(Hawthorne, CA, U.S.A.)

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

More information about this seller | Contact this seller

Buy Used
456.25
Convert currency

Add to Basket

Shipping: 10.95
From U.S.A. to United Kingdom
Destination, rates & speeds

6.

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
Used Hardcover Quantity: 1
Seller:
Books Unplugged
(Freeport, NY, U.S.A.)

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

More information about this seller | Contact this seller

Buy Used
456.26
Convert currency

Add to Basket

Shipping: 11.68
From U.S.A. to United Kingdom
Destination, rates & speeds

7.

Jean-Yves Girard
Published by Brand: Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity: 1
Seller:
Newport Bookstore
(Del Rio, TN, U.S.A.)

Book Description Condition: new. Seller Inventory # newportN0521371813

More information about this seller | Contact this seller

Buy New
454.62
Convert currency

Add to Basket

Shipping: 35.76
From U.S.A. to United Kingdom
Destination, rates & speeds