%0 Journal Article
%A Larvor, Brendan
%T Proof in C17 algebra
%J Philosophia Scientiae
%D 2005
%P 43-59
%V 9
%N S2
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_2005__9_S2_43_0/
%G en
%F PHSC_2005__9_S2_43_0