# Mechanizing Proof

Canonical: https://www.bookquiver.com/donald-mackenzie/mechanizing-proof

![Mechanizing Proof](https://quivercdn.com/covers/the-mit-press/donald-mackenzie/mechanizing-proof_978-02-6263-295-9.jpg?v=2026-06-21%2015%3A54%3A26)

- Authors: [Donald MacKenzie](https://www.bookquiver.com/donald-mackenzie)
- Language: en_US
- Published: 2004-01-30

## Description

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing....

## Editions

### Mechanizing Proof

- Publisher: the_mit_press
- ISBN: 978-02-6263-295-9
- Pages: 440
- Published: 2004-01-30
- Language: en_US