Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples

Gil-Férez, José

Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples - 2025.


95

PLUDOC

PLUDOC est la plateforme unique et centralisée de gestion des bibliothèques physiques et numériques de Guinée administré par le CEDUST. Elle est la plus grande base de données de ressources documentaires pour les Étudiants, Enseignants chercheurs et Chercheurs de Guinée.

Adresse

pludoc@cedust.edu.gn

627 919 101/664 919 101

25 boulevard du commerce
Kaloum, Conakry, Guinée

Réseaux sociaux

Powered by Netsen Group @ 2025