Derivation and Computation; Taking the Curry-Howard Correspondence Seriously 9780521771733 Brand New
eBay