APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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