Home › Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)

1 1

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

Name: Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Brand: Cambridge University Press
SKU: ByrdShop_0521371813
Price: 1013.96 USD
Availability: InStock

hardcover – April 28, 1989

by Girard, Jean-Yves

$1,013.96 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

New In Stock

ISBN-13: 9780521371810 ISBN-10: 0521371813

Publisher

Cambridge University Press

Binding

hardcover

Published

April 28, 1989

Weight

1.1 lbs

Dimensions

25.40×1.30×18.40 cm

About this book

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Girard, Jean-Yves. hardcover edition. ISBN: 9780521371810.