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 -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1hkGz6-0008Bj-Du%40rmmprod07.runbox.
