Proof in C17 algebra
Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 43-59
Voir la notice de l'article provenant de la source Numdam
@article{PHSC_2005__9_S2_43_0,
author = {Larvor, Brendan},
title = {Proof in {C17} algebra},
journal = {Philosophia Scientiae},
pages = {43--59},
publisher = {\'Editions Kim\'e},
volume = {9},
number = {S2},
year = {2005},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_43_0/}
}
Larvor, Brendan. Proof in C17 algebra. Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 43-59. http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_43_0/