Steve Best ebook Type Theory and Formal Proof: An Introduction You Should see
Best Offer book Type Theory and Formal Proof: An Introduction. Type Theory and Formal Proof: An Introduction eBook includes PDF, ePub and Kindle version by Rob Nederpelt, Herman Geuvers Category: Boo…