Logical Theory is the lecture notes for the course with the same name given by the University of Gothenburg as part of the Master in Logic programme. These lecture notes are built from the Open Logic Text written by the Open Logic Project.
This repository comprises two main branches:
mastercontains material for the Logical Theory textbookopenlogictracks the Open Logic Text
The root files for these lecture notes are found in the
courses/logicaltheory directory.
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.
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
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/.
