We have over a million books in stock

Bookbot
1/3

Mechanizing Proof

Authors

Parameters

ISBN
9780262632959
Publisher
MIT Press

Categories

Book variant

2004, paperback

Book purchase

We’ll notify you via email once we track it down.