Citazione Stile APA (7a Edizione)

Gil-Férez, J., Moshier, M., Naibo, A., Panza, M., & Salanskis, J. (2025). Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples.

Citazione stile Chigago Style (17a edizione)

Gil-Férez, José, M. Andrew Moshier, Alberto Naibo, Marco Panza, e Jean-Michel Salanskis. Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples. 2025.

Citatione MLA (8a ed.)

Gil-Férez, José, et al. Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples. 2025.