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: My Store
SKU: ByrdShop_0521371813
Price: 571.92 USD
Availability: OutOfStock

$571.92 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

Out of Stock

Weight

About this book

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