Mechanizing Proof by Donald MacKenzie
Best selling editions of Mechanizing Proof
Uncommonly Good Books
Biblio offers over 100 million second-hand books and rare books by working with the finest booksellers in the world.
