Proofs and types
date of publication: 1989
publisher: Cambridge University Press
ISBN-13: 978-0-521-37181-0
ISBN-10: 0-521-37181-3
work from which this is an edition: Proofs and types
edition language: English
In your inventory
nothing here
In your friends' and groups' inventories
nothing here
Nearby
nothing here
Elsewhere
nothing here
Edition - isbn:9780521371810 - inv:d2767f83ebe2f39c9418bc7a10b9f689