Parameters
Categories
Book purchase
Mechanizing Proof, Donald MacKenzie
- Language
- Released
- 2004
We’ll notify you via email once we track it down.
Payment methods
- Title
- Mechanizing Proof
- Language
- English
- Authors
- Donald MacKenzie
- Publisher
- MIT Press
- Publisher
- 2004
- Format
- Paperback
- ISBN10
- 0262632950
- ISBN13
- 9780262632959
- Category
- Social sciences