Pour citer cet article

Référence électronique

Brendan Larvor, « Proof in C17 Algebra », Philosophia Scientiæ [En ligne], CS 5 | 2005, mis en ligne le 01 août 2008, consulté le 16 avril 2024. URL : http://journals.openedition.org/philosophiascientiae/378  ; DOI : https://doi.org/10.4000/philosophiascientiae.378

Référence papier

Brendan Larvor, « Proof in C17 Algebra », Philosophia Scientiæ, CS 5 | 2005, 43-59.