Proof in C17 algebra
Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 43-59
Cet article a éte moissonné depuis la source Numdam
@article{PHSC_2005__9_S2_43_0,
author = {Larvor, Brendan},
title = {Proof in {C17} algebra},
journal = {Philosophia Scientiae},
pages = {43--59},
year = {2005},
publisher = {\'Editions Kim\'e},
volume = {9},
number = {S2},
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/