Pour citer cet article

Référence électronique

Bianca Boretti et Sara Negri, « Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 29 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/408  ; DOI : https://doi.org/10.4000/philosophiascientiae.408

Référence papier

Bianca Boretti et Sara Negri, « Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics », Philosophia Scientiæ, CS 6 | 2006, 61-79.