*Valid November 28, 2024 - December 2, 2024 at Canadian stores and at indigo.ca, while quantities last, with $50.00 or more pre-tax purchase of eligible product(s), after discounts and plum points redemptions. Minimum purchase amount excludes gift cards, plum+ memberships, Love of Reading products/donations, and shipping costs. Selection may vary between stores and online.
Treatise on Intuitionistic Type Theory/en-ca/treatise-on-intuitionistic-type-theory/657A8A45-8FB2-4467-B96A-3D740513F7E3.html657A8A45-8FB2-4467-B96A-3D740513F7E3