183 元券DerivationCorrespondence9780521771733Computation￥16550去看看澜瑞图书专营店发布了【3-4周达】Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Derivation ... [9780521771733]
![【3-4周达】Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Derivation ... [9780521771733]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01Cso1ij28LaNLCshnE_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
