Intensional Logics for Programming (Studies in Logic and Computation)

by: Luis Fariñas del Cerro · Martti Penttonen Hardcover details (UK). ISBN: 978-0-19-853775-5 ISBN-10: 0-19-853775-1 Clarendon Press · 1992