- By far the most widely used/widely recommended LaTeX presentation package is beamer.cls (Till Tantau, 2003-07: maintained by Vedran Miletić and Joseph Wright). Every logic talk with slides that I’ve been to in the last few years has evidently used this package.
- The Beamer manual is long and complicated: there is a minimal LaTeX for Logicians User Guide for Beamer.
- And here’s another shorter guide, by Norm Matloff
- There are links to further tutorials on this Wikipedia Beamer page.
- Mathfonts.pdf: beamer presentation showing usage of various fonts in presentations.
- The Beamer theme that I use is logictheme.sty.
- For other LaTeX presentation options, see Screen Presentation Tools (Michael Wiedmann’s comprehensive comparison page, revised in 2014).
- probsoln.sty (Nicola Talbot, 2000-12): simple package for generating problems sheets — and answer sheets — by selecting from problems and solutions defined in another file).
- exercise.sty (Paul Pichaureau 2004-09): flexible package for setting out exercises/answers in various documents.
- exam.sty (Philip Hirschhorn 1994-2011): a nice option in you want to maintain a single document which, with a single toggle, both prints a preamble-and-exercises set, and a set of exercises-and-solutions. (This is what I have chosen to use for my Gödel book exercises).
Links checked 30 January 2016