Good news!! You can now get a physical copy of the 2019 Metamath book! Norm & I just reviewed the proofs, and the book looks great. If you want a physical copy of the book, this is what you want - it's a nice little casewrap hardcover for bringing to the beach, mountains, or wherever you want to go.
You can see me unbox it here: https://youtu.be/Llhjd3gkusY If you're interested in getting a copy of the physical book, you can order it here: http://www.lulu.com/shop/norman-megill-and-david-a-wheeler/metamath-a-computer-language-for-mathematical-proofs/hardcover/product-24129769.html We're going to try to eventually get it listed on Amazon, Barnes & Noble, and so on. I think some places (like libraries) find it easier to get books that way. If you want to get a physical copy, the lulu.com site will be *way* cheaper than Amazon, and there's going to be a big delay before listing. I strongly recommend getting the book via lulu.com if you have a choice. My sincere thanks to everyone who helped, and to everyone on this list for your interest in & contributions to Metamath. --- 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/E1hbyI4-0000bO-4L%40rmmprod05.runbox.
