Error title
Some error text about your books and stuff.
Close

Computation and Reasoning a Type Theory for Computer Science

by Zhaohui Luo

  • ISBN: 9780198538356
  • ISBN10: 0198538359

Computation and Reasoning a Type Theory for Computer Science

by Zhaohui Luo

  • Binding: Hardcover
  • Publisher: Oxford Univ Pr on Demand
  • Publish date: 05/01/1994
  • ISBN: 9780198538356
  • ISBN10: 0198538359
new Add to Cart $78.93
FREE economy shipping!
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).