bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';
Editorial reviews
Author
Others Also Bought
Choose format
PROMOTION DETAILS
*Valid March 31, 2025 - May 11, 2025 at Canadian stores and at indigo.ca, while quantities last, with $30.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