for subject-specific typesetting involving logic notation.

LaTeX is especially well-suited to typesetting logic texts, since logic notations include several complex, specialised formalisms such as proof trees that are better supported in LaTeX than other document preparation systems.


Peter Smith's Logic for Logicians is both comprehensive and has paid attention to keeping its content up-to-date.

history | excerpt history