You can get your own physical copy of the 2019 Metamath book!
94 views
Skip to first unread message
David A. Wheeler
Jun 14, 2019, 10:19:37 PM6/14/19
to metamath
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 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
David A. Wheeler
Jun 14, 2019, 11:27:33 PM6/14/19
to metamath
Quick clarification: You can get the book *now* from Lulu. We're trying to eventually put it on Amazon, but that will take a while and cost more for exactly the same thing. Getting it from Lulu is clearly the better deal. Consider it a deal for those in the know (and that's you!).
--- David A.Wheeler
--- David A.Wheeler
Paul Chapman
Jun 14, 2019, 11:47:21 PM6/14/19
to meta...@googlegroups.com
David & Norm,
Ordered!
Cheers, Paul
Ordered!
Cheers, Paul
Alexander van der Vekens
Jun 15, 2019, 1:31:06 AM6/15/19
to Metamath
I ordered 2 copies (one for me and one as a gift) - I am very keen to hold the book in my hands, although I know its content already.
Thank you very much, Norm & David!
Paul Chapman
Jun 22, 2019, 12:57:33 PM6/22/19
to meta...@googlegroups.com
Norm & David,
Received my Metamath book today. Yay!
Didn't make it into the index. Boo!
Cheers, Paul
Received my Metamath book today. Yay!
Didn't make it into the index. Boo!
Cheers, Paul
David A. Wheeler
Jun 22, 2019, 2:44:39 PM6/22/19
to metamath, metamath
On Sat, 22 Jun 2019 17:57:28 +0100, "Paul Chapman" <pa...@igblan.free-online.co.uk> wrote:
> Norm & David,
>
> Received my Metamath book today. Yay!
Excellent, thanks so much! Enjoy.
> Norm & David,
>
> Received my Metamath book today. Yay!
> Didn't make it into the index. Boo!
--- David A. Wheeler
Paul Chapman
Jun 30, 2019, 5:57:22 PM6/30/19
to meta...@googlegroups.com
David & Norm,
Erratum: there's a stray right parenthesis in paragraph 3 of page 32 after "set.mm".
Cheers, Paul
Erratum: there's a stray right parenthesis in paragraph 3 of page 32 after "set.mm".
Cheers, Paul
David A. Wheeler
Jun 30, 2019, 6:09:07 PM6/30/19
to metamath, metamath
On Sun, 30 Jun 2019 22:57:17 +0100, "Paul Chapman" <pa...@igblan.free-online.co.uk> wrote:
> David & Norm,
>
> Erratum: there's a stray right parenthesis in paragraph 3 of page 32 after "set.mm".
Yes, that's already noted in the errata:
> David & Norm,
>
> Erratum: there's a stray right parenthesis in paragraph 3 of page 32 after "set.mm".
https://github.com/metamath/metamath-book/blob/master/errata.md
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages