OpenLogic:开源的，可定制的中间逻辑教科书-Open source

开放逻辑项目 开放逻辑项目是一个开放源代码，开放访问的高级逻辑材料集合，主要针对哲学家，但也适合计算机科学家和数学家。 文本可以重新排列和重新混合。 您可以从中制作自定义教科书，因此它们会考虑课程的目的和讲师的偏好。 它是用LaTeX编写的。 有关更多信息，请参见和 。 作者：开放逻辑项目 The Open Logic 的Open Logic文本已获得。 超出此许可范围的许可可能会在以下位置提供 。