The Open Logic Project is an open source, open access collection of materials on advanced logic, aimed mainly at philosophers, but also suitable for computer scientists and mathematicians. The text can be rearranged and remixed. You can produce custom textbooks from it, so they take the aim of the course and the preferences of the instructor into account. It is written in LaTeX.
オープンロジックプロジェクトは、オープンソースでオープンアクセスの、発展的な論理学に関する教材資料集です。 主に哲学者を対象としたものの、計算機科学者や数学者にも適しています。 本書は再編成やリミックスが可能で、授業のねらいや講師の好みを勘案した、独自の教科書を作れます。 LaTeXで書かれています。
For more information, see the project website and Open Logic wiki.
This repository contains LaTeX source files only. Head to the builds site to download PDFs.
Author(s): The Open Logic Project
翻訳: TBD
The Open Logic Text by The Open Logic Project is licensed under a Creative Commons Attribution 4.0 International License.
Permissions beyond the scope of this license may be available at https://openlogicproject.org/.
