You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Alessandro Bandeira Duarte cea3245521 Add all my files 6 days ago
assets Add all my files 1 week ago
bib Enviar arquivos para 'bib' 1 week ago
boxes-and-diamonds Add all my files 6 days ago
content Add all my files 6 days ago
include Add all my files 1 week ago
incompleteness-computability Add all my files 1 week ago
misc Add all my files 1 week ago
phil310 Add all my files 6 days ago
set-theory Add all my files 1 week ago
sets-logic-computation Add all my files 1 week ago
sty Add all my files 1 week ago
.gitignore Initial commit 1 week ago
LICENSE Initial commit 1 week ago
README.md Atualizar 'README.md' 1 week ago
open-logic-complete-config.sty Enviar arquivos para '' 1 week ago
open-logic-complete.tex Enviar arquivos para '' 1 week ago
open-logic-config.sty Enviar arquivos para '' 1 week ago
open-logic-debug.tex Enviar arquivos para '' 1 week ago
open-logic-envs.sty Add all my files 1 week ago

README.md

The Open Logic Project

Build Status

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.

Author(s): The Open Logic Project

Creative Commons License
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 http://openlogicproject.org/.