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.