Items related to Proofs and Types (Cambridge Tracts in Theoretical Computer...

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) - Hardcover

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul

 
9780521371810: Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Hardcover
ISBN 10: 0521371813 ISBN 13: 9780521371810
Publisher: Cambridge University Press, 1989
View all copies of this ISBN edition:
 
 
The book is brand new and will be dispatched from UK.

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

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.

Top Search Results from the AbeBooks Marketplace

Stock Image

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity: 1
Seller:
GoldenWavesOfBooks
(Fayetteville, TX, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0521371813

More information about this seller | Contact seller

Buy New
£ 416.55
Convert currency

Add to Basket

Shipping: £ 3.21
Within U.S.A.
Destination, rates & speeds
Stock Image

Girard, Jean-Yves
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity: 1
Seller:
Wizard Books
(Long Beach, CA, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: new. New. Seller Inventory # Wizard0521371813

More information about this seller | Contact seller

Buy New
£ 417.73
Convert currency

Add to Basket

Shipping: £ 2.81
Within U.S.A.
Destination, rates & speeds
Stock Image

Girard, Jean-Yves
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity: 1
Seller:
GoldBooks
(Denver, CO, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0521371813

More information about this seller | Contact seller

Buy New
£ 417.23
Convert currency

Add to Basket

Shipping: £ 3.41
Within U.S.A.
Destination, rates & speeds
Stock Image

Girard, Jean-Yves
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity: 1
Seller:
Front Cover Books
(Denver, CO, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: new. Seller Inventory # FrontCover0521371813

More information about this seller | Contact seller

Buy New
£ 417.97
Convert currency

Add to Basket

Shipping: £ 3.45
Within U.S.A.
Destination, rates & speeds