David Delahaye · 2 obras en el catálogoObrasIIntelligent Computer MathematicsIntelligent Computer MathematicsAAll about Proofs, Proofs for AllAll about Proofs, Proofs for All