TY  - JOUR
AU  - Larvor, Brendan
TI  - Proof in C17 algebra
JO  - Philosophia Scientiae
PY  - 2005
SP  - 43
EP  - 59
VL  - 9
IS  - S2
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_2005__9_S2_43_0/
LA  - en
ID  - PHSC_2005__9_S2_43_0
ER  -