Herman Geuvers eBooks
Epub and PDF format

Herman Geuvers eBooks



eBooks found: 1
Type Theory and Formal Proof: An Introduction PDF (Adobe DRM) download by Herman Geuvers
Type Theory and Formal Proof: An Introduction
Herman Geuvers & Rob Nederpelt
Cambridge University Press, September 2014
ISBN: 9781107036505
Format: PDF
List Price: $64.00 Our price: $59.99