Current draft cover for Metamath book
33 views
Skip to first unread message
David A. Wheeler
Jun 2, 2019, 9:03:22 PM6/2/19
to metamath
We're putting the final touches on the upcoming (revised) Metamath book.
If you're curious, here's the current draft of the book cover:
https://dwheeler.com/misc/24804269_cover-2.pdf
If anyone has comments/concerns, please let us know ASAP!
The images may get some updates.
The plan is to use aleph zero on the front cover, just like it's on the
front page of the website... it seemed like the obvious image to use.
I'm happy with the aleph zero (aleph null) on the current draft cover, but it may get a replacement.
Norm's picture may be changed to http://us2.metamath.org/norm2011.jpg
Here's the issue discussing the book cover:
https://github.com/metamath/metamath-book/issues/208
--- David A. Wheeler
If you're curious, here's the current draft of the book cover:
https://dwheeler.com/misc/24804269_cover-2.pdf
If anyone has comments/concerns, please let us know ASAP!
The images may get some updates.
The plan is to use aleph zero on the front cover, just like it's on the
front page of the website... it seemed like the obvious image to use.
I'm happy with the aleph zero (aleph null) on the current draft cover, but it may get a replacement.
Norm's picture may be changed to http://us2.metamath.org/norm2011.jpg
Here's the issue discussing the book cover:
https://github.com/metamath/metamath-book/issues/208
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages