Editions of Mechanizing Proof

Filters
Donald MacKenzie: Mechanizing Proof (Paperback, 2004, The MIT Press)

Mechanizing Proof

Paperback, 439 pages

English language

Published March 1, 2004 by The MIT Press.

ISBN:
978-0-262-63295-9
Copied ISBN!
Donald MacKenzie: Mechanizing Proof (2001, The MIT Press)

Mechanizing Proof

Hardcover, 450 pages

English language

Published Oct. 1, 2001 by The MIT Press.

ISBN:
978-0-262-13393-7
Copied ISBN!

Can't find the edition you're looking for?