*Valid September 30, 2024 - December 25, 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.
Information and Knowledge: A Constructive Type-theoretical Approach/en-ca/information-and-knowledge-a-constructive-type-theoretical-approach/4D6CBD1A-C0D3-4935-BB37-D95D9203FFDA.html4D6CBD1A-C0D3-4935-BB37-D95D9203FFDA
Information and Knowledge: A Constructive Type-theoretical Approach