Luis Farinas del Cerro; Martti Penttonen (eds.) — Intensional Logics for Programming
Oxford: Clarendon, 1992. New! Hard bound, extensive references, ix + Pp219. Includes chapter references. New & unread in laminated boards. 520 grams unpacked.
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Log ind
Bognummer:
5393
$18.00 (€16.33 | £13.62 | ¥2,875)