10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

All Editions of Extensional Constructs in Intensional Type Theory By Hofmann, Martin

Book Cover for Extensional Constructs in Intensional Type Theory by Hofmann, Martin

Extensional Constructs in Intensional Type Theory

Hofmann and 1 more

Ebook (PDF)

Digital. Available Immediately. Country restrictions apply.

£119.50

©PTC International Ltd T/A LoveReading is registered in England. Company number: 10193437. VAT number: 270 4538 09. Registered address: 157 Shooters Hill, London, SE18 3HP.
Terms & Conditions | Privacy Policy | Disclaimer