Rob Nederpelt & Herman Geuvers
Language: English
Google Books ISBN
Computers Hardback ISBN: 9781107036505 Online ISBN: 9781139567725
Publisher: Cambridge University Press
Published: Nov 6, 2014
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Description:
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.