Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Author Herman Geuvers

6 products
Binding
3
2
1
Price
Availability
2
2
2
Date of issue
?
Top
Type Theory and Formal Proof Rob Nederpelt / Hardback
common.buy 99.53 €
Intelligent Computer Mathematics Herman Geuvers / Paperback
common.buy 51.63 €
Interactive Theorem Proving Marko Van Eekelen / Paperback
common.buy 58.40 €
Type Theory and Formal Proof Rob Nederpelt / Adobe ePub DRM
common.buy 98.82 €
Intelligent Computer Mathematics Herman Geuvers / Adobe ePub DRM
common.buy 60.02 €
Types for Proofs and Programs Herman Geuvers / Paperback
common.buy 51.63 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account