Subjects New Releases Order Status Cart

Books by Rob Nederpelt

1 title available, newest first by original publication date.

Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt

$110.99

Millions of new books, shipped from US warehouses. Free standard shipping on orders over $40.

New releases and deals, once a week

Email address

Browse

All subjects
New releases
Search

Help

Order status
Shipping
Returns
Contact
Terms
Privacy

© 2026 nextRead. nextRead is operated by Greenway Trading, United States. All rights reserved.