*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.
An Introduction To Mathematical Logic And Type Theory: To Truth Through Proof/en-ca/an-introduction-to-mathematical-logic-and-type-theory-to-truth-through-proof/8C77C7EB-2F3B-454C-A33C-7FDC93A8D4DA.html8C77C7EB-2F3B-454C-A33C-7FDC93A8D4DA
An Introduction To Mathematical Logic And Type Theory: To Truth Through Proof