Mechanizing ProofDonald MacKenzie
Mechanizing Proof
Donald MacKenzie · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2004
- Language
- English
- Publisher
- MIT Press
- Editions
- 1
- Pages
- 440
- ISBN
- 9780262278829
Data source: Wikidata
More by Donald MacKenzie
Key Debates in New Political EconomyDonald MacKenzie
Key Debates in New Political Economy
Donald MacKenzie · 2006
Mechanizing ProofDonald MacKenzie
Mechanizing Proof
Donald MacKenzie · 2001
Footprints Of Early ManDonald MacKenzie
Footprints Of Early Man
Donald MacKenzie · 2006
Inventing AccuracyDonald MacKenzie
Inventing Accuracy
Donald MacKenzie · 1993
Last of the BoatridersDonald MacKenzie
Last of the Boatriders
Donald MacKenzie · 1981
Inside Digital AdvertisingDonald MacKenzie
Inside Digital Advertising
Donald MacKenzie · 2025
Khalifate of the WestDonald MacKenzie
Khalifate of the West
Donald MacKenzie · 2023
Teutonic Myth and LegendDonald MacKenzie
Teutonic Myth and Legend
Donald MacKenzie · 2022
Flooding of the SaharaDonald MacKenzie
Flooding of the Sahara
Donald MacKenzie · 2022
Myths of China and JapanDonald MacKenzie
Myths of China and Japan
Donald MacKenzie · 2022