We have tens of thousands of books in stock.

Bookbot
1/4

Mechanizing Proof

Authors

Parameters

ISBN
9780262632959
Publisher
MIT Press

Categories

Book variant

2004, paperback

Book purchase

The book is currently out of stock.