Mechanizing ProofDonald A. MacKenzie
Mechanizing Proof
Donald A. MacKenzie · 2001
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
- 2001
- Language
- English
- Publisher
- MIT Press
- Editions
- 1
- ISBN
- 9780585436739
Data source: Wikidata
More by Donald A. MacKenzie
An engine, not a cameraDonald A. MacKenzie
An engine, not a camera
Donald A. MacKenzie · 2006
The social shaping of technologyDonald A. MacKenzie
The social shaping of technology
Donald A. MacKenzie · 1999
Knowing machinesDonald A. MacKenzie
Knowing machines
Donald A. MacKenzie · 1996
Myths of Babylonia and AssyriaDonald A. MacKenzie
Myths of Babylonia and Assyria
Donald A. MacKenzie · 2013
Do economists make markets?Donald A. MacKenzie
Do economists make markets?
Donald A. MacKenzie · 2007
Indian Myth and LegendDonald A. MacKenzie
Indian Myth and Legend
Donald A. MacKenzie · 2007
Ancient Beliefs Connected With the Cross and SwastikaDonald A. MacKenzie
Ancient Beliefs Connected With the Cross and Swastika
Donald A. MacKenzie · 2005
Myths of China And JapanDonald A. MacKenzie
Myths of China And Japan
Donald A. MacKenzie · 2005
Elves and HeroesDonald A. MacKenzie
Elves and Heroes
Donald A. MacKenzie · 2004
Myths of Babylonia and AssyriaDonald A. MacKenzie
Myths of Babylonia and Assyria
Donald A. MacKenzie · 2004