由于个人原因，我想复制这本书。有人能建议我应该使用哪些软件包、样式文件（以及任何所需的技术资料）吗？
答案1
从第 viii 页开始
本书使用 TeXshop 在 Latex 中编写，大量使用了 Neergard 和 Glenstrup 的语义包来整理方程式，使用 Jules Bean 的 boxribbonproofs 包来编写框线证明，使用 Tatsuta 的证明包来编写推理规则。我使用 rtf2latex2e 来翻译我原来的讲义。
如果这些信息还不够，您应该尝试联系作者并询问来源或至少没有内容的模板。
除此之外，你的问题似乎很模糊。请问一些具体的问题，我们可以解决这些问题，并且我们可以从中看到你做出的明确努力。这篇文章没有任何研究价值。
如果你想完成这样的 LaTeX 工作，你必须聘请一些帮手。而且你必须澄清“版权”这个主题，我在这里没有提到。
- 文本以 Computer Modern Bright 编写
- 该类类似于
book或类似（因为它使用\parts） - PDF 版本为 1.6
- 该文件使用
hyperref或bookmark - ... 等等。