Ask the Bookseller a Question
Questions before ordering? Use this form to request more information from Books on the Web About Intensional Logics for Programming.
Questions before ordering? Use this form to request more information from Books on the Web About 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. …