Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

4 avg rating
( 10 ratings by Goodreads )
 
9780521371810: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
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

1.

Girard, Jean-Yves, Lafont, Yves, Taylor,
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity Available: 3
Seller:
Save With Sam
(North Miami, FL, U.S.A.)

Book Description Cambridge University Press, 1989. Hardcover. Condition: New. Brand New!. Seller Inventory # VIB0521371813

More information about this seller | Contact this seller

Buy New
370.90
Convert currency

Add to Basket

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

2.

Jean-Yves Girard; Yves Lafont; Paul Taylor
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Quantity Available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)

Book Description Condition: New. New. Seller Inventory # EX-0521371813

More information about this seller | Contact this seller

Buy New
484.79
Convert currency

Add to Basket

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