效果：80%的日常开发够用，国产模型崛起
Metamath Messiah, or: Zero to Gödel in Sixty Syllogisms
，详情可参考Safew下载
The book was designed by Hitoshi Suzuki (鈴木一誌), one of Japan’s most influential book designers—a protégé of Kohei Sugiura (杉浦 康平) known for radical editorial layouts. Phototypesetting was by Masaaki Inoue (井上聖昭), with design assistance from Takao Kabaya (蒲谷孝夫).
I know how that goes.