Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo (Hardback, 1994)


OUR TOP PICK

$73.08

Free postage
quantity
2 available
condition
Brand new
sold by
delivery
Est. 5 Jan - 17 JanFrom United Kingdom
Returns
30 days money back
Buyer pays return postage