bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';
Évaluation éditoriale
Auteur
D’autres ont aussi acheté
Choix du format
DÉTAILS DE LA PROMOTION
* Offre en vigueur du 13 janvier au 2 mars 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles en stock, avant les taxes et après les rabais applicables au cours d’une même transaction. L’offre ne s’applique pas aux achats antérieurs et ne peut être jumelée à aucune autre offre.
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas/fr-ca/simple-type-theory-a-practical-logic-for-expressing-and-reasoning-about-mathematical-ideas/C1799BBD-0673-4833-AAC7-FE2479219921.htmlC1799BBD-0673-4833-AAC7-FE2479219921
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas