MMechanizing ProofMechanizing Proofde Donald MacKenzieMateriasComputers and civilizationComputers, reliabilityEdiciones (1)Mechanizing Proof (2004)MIT Press · inglés · ISBN 9780262278829Más obras de Donald MacKenzieAAncient civilizations from the earliest times to the birth oAncient civilizations from the earliest times to the birth of ChristAncient man in Britain1922Key Debates in New Political Economy
AAncient civilizations from the earliest times to the birth oAncient civilizations from the earliest times to the birth of Christ
