Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

3.89 avg rating
( 9 ratings by Goodreads )
 
9780521371810: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
View all copies of this ISBN edition:
 
 

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.

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

Top Search Results from the AbeBooks Marketplace

1.

Girard, Jean-Yves, Lafont, Yves, Taylor,
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity Available: 1
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1989. Hardcover. Condition: New. Never used!. Seller Inventory # P110521371813

More information about this seller | Contact this seller

Buy New
423.48
Convert currency

Add to Basket

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

2.

Jean-Yves Girard; Yves Lafont; Paul Taylor
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1989. Condition: New. book. Seller Inventory # M0521371813

More information about this seller | Contact this seller

Buy New
836.47
Convert currency

Add to Basket

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