This survey of Martin-Lof's constructive type theory gives an account of the prehistory of type theory and its highly complex development. It offers a systematic presentation of the last version of the theory, and the type-theoretical approach to logic and the foundations of mathematics,
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.