Books By

Books By is the author of "Types for Proofs and Programs" and "Computational Logic".

Books by Books By

Types for Proofs ...
Barendregt H.
Paperback:

Types for Proofs ...
Barendregt H.
Paperback: $54.99

Computational Log...
Berger Ulrich
Hardback: $169.99

Computational Log...
Berger Ulrich
Hardback: