Open Logic Text è il manuale free di logica matematica che si rivolge ai non matematici, in particolare a chi segue corsi di logica avanzata nelle facoltà di Filosofia. Il testo è open-source (si può scaricare il codice LaTeX) ed è open, quindi modificabile e condivisibile. Si può inoltre collaborare a correggerlo e a implementarlo utilizzando la piattaforma GitHub.
” It covers the syntax and semantics of first-order logic, sequent calculus, soundness and completeness theorems, rudiments of model theory, computability theory, and incompleteness. The project remains under continuous development, and we plan to improve and add to the coverage. Additional topics which we have short-term plans to cover are computability via Turing machines, additional coverage of topics in model theory, modal logic, as well as material on applications of logic in philosophy, such as on paradoxes, metaphysics, philosophy of language, and philosophy of mathematics. Some of the material is written specifically for this project, while other material is converted from existing lecture notes. We also plan to add new features throughout, such as a glossary and index, historical notes, and sections covering further reading”