Metamath book now on Amazon and Barnes & Noble

[David A. Wheeler]

FYI: It appears that the Metamath book is now available via both
Amazon and Barnes & Noble!!

I never got a notification, but I just searched and found their links.
So if for some reason you (or your organization) finds it easier
to buy books from them, here are the links:

- https://www.amazon.com/Metamath-Computer-Language-Mathematical-Proofs/dp/0359702236/
- https://www.barnesandnoble.com/w/metamath-norman-megill/1132122980?ean=9780359702237

HOWEVER, if you don't have a strong reason to get the book that way,
I suggest getting the book directly from Lulu using this URL:

- http://www.lulu.com/shop/norman-megill-and-david-a-wheeler/metamath-a-computer-language-for-mathematical-proofs/hardcover/product-24129769.html

The Lulu URL is long, but it gives you a 30% discount, and it's exactly the same book.

And course, you *want* this (physical) book :-). It's good for summer reading,
birthday presents, etc. It would also be a great Christmas present,
but who would want to wait that long? :-)

So: if you want the (physical) book, you now have multiple ways to get it.

--- David A. Wheeler