作为一名哲学专业的学生，我正在学习如何使用 LyX。但我不知道如何在 LyX 上输入 genzen 风格的推理。
有没有关于 LyX 的优秀参考资料，比如 Peter Smith 的关于 LaTeX 的参考资料，特别对逻辑学家或哲学家有用？
如何在 LyX 中输入 Genzen 风格的推理？
作为一名哲学专业的学生，我正在学习如何使用 LyX。但我不知道如何在 LyX 上输入 genzen 风格的推理。
有没有关于 LyX 的优秀参考资料，比如 Peter Smith 的关于 LaTeX 的参考资料，特别对逻辑学家或哲学家有用？