Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples (notice n° 1369423)
[ vue normale ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00682cam a2200193 4500500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250615090222.0 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | fre |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 100 10 - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Gil-Férez, José |
| Relator term | author |
| 245 00 - TITLE STATEMENT | |
| Title | Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Date of publication, distribution, etc. | 2025.<br/> |
| 500 ## - GENERAL NOTE | |
| General note | 95 |
| 700 10 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Moshier, M. Andrew |
| Relator term | author |
| 700 10 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Naibo, Alberto |
| Relator term | author |
| 700 10 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Panza, Marco |
| Relator term | author |
| 700 10 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Salanskis, Jean-Michel |
| Relator term | author |
| 786 0# - DATA SOURCE ENTRY | |
| Note | Philosophia Scientiæ | 29-2 | 2 | 2025-06-02 | p. 93-127 | 1281-2463 |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://shs.cairn.info/revue-philosophia-scienti-2025-2-page-93?lang=en&redirect-ssocas=7080">https://shs.cairn.info/revue-philosophia-scienti-2025-2-page-93?lang=en&redirect-ssocas=7080</a> |
Pas d'exemplaire disponible.
Réseaux sociaux