Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Rob Nederpelt
Rob Nederpelt
All books by Rob Nederpelt
(
Displaying 2 Books
)
Modern Perspective on Type Theory
F. D. Kamareddine
Type Theory and Formal Proof
Rob Nederpelt
Looking for another book by Rob Nederpelt?
Search for the book
by title.
