| 000 | 00682cam a2200193 4500500 | ||
|---|---|---|---|
| 005 | 20250615090222.0 | ||
| 041 | _afre | ||
| 042 | _adc | ||
| 100 | 1 | 0 |
_aGil-Férez, José _eauthor |
| 700 | 1 | 0 |
_a Moshier, M. Andrew _eauthor |
| 700 | 1 | 0 |
_a Naibo, Alberto _eauthor |
| 700 | 1 | 0 |
_a Panza, Marco _eauthor |
| 700 | 1 | 0 |
_a Salanskis, Jean-Michel _eauthor |
| 245 | 0 | 0 | _aFormalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples |
| 260 | _c2025. | ||
| 500 | _a95 | ||
| 786 | 0 | _nPhilosophia Scientiæ | 29-2 | 2 | 2025-06-02 | p. 93-127 | 1281-2463 | |
| 856 | 4 | 1 | _uhttps://shs.cairn.info/revue-philosophia-scienti-2025-2-page-93?lang=en&redirect-ssocas=7080 |
| 999 |
_c1369423 _d1369423 |
||