TY - BOOK AU - Gauthier,Yvon AU - Yvon,Gauthier TI - Logique arithmétique: L’arithmétisation de la logique T2 - Logique de la Science SN - 9782763709970 AV - BC135.G388 2010 U1 - 511.3 PY - 2010/// CY - Québec PB - Les Presses de l'Université Laval KW - Logic, Symbolic and mathematical KW - Electronic books UR - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=4796214 ER -