ISBN 9781107036505 books & textbook
Type Theory and Formal Proof: An Introduction
Nederpelt, Rob Geuvers, Herman
Cambridge University Press /2014-12-15 Hardcover / 466 Pages
isbn-10: 110703650X / isbn-13: 9781107036505
book price comparison
book price comparison
Nederpelt, Rob Geuvers, Herman
Cambridge University Press /2014-12-15 Hardcover / 466 Pages
isbn-10: 110703650X / isbn-13: 9781107036505
