**Help for generating truth-tables**

Of the available resources, this has been recommended:

- Truth Table Generator (Michael Rieppel) is a webpage containing a JavaScript program which generates full truth-tables for one or more wffs, and also the LaTeX code for them.

**Laying out theorems, lemmas etc., and marking succeeding proofs:**

- amsthm.sty (the theorem setup of the AMS document classes amsart, amsbook, etc., in stand-alone package form, which should be in any LaTeX distribution) defines environments which are much more configurable than the basic LaTeX ‘theorem’ environment. There’s a description here.
- ntheorem.sty (Wolfgang May and Andreas Schedler) is another, even more flexible, package.
- The thmtools bundle (Ulrich M. Schwarz 2010) contains a number of useful packages, in particular thm-restate.sty which allows you to label a theorem and then restate it later (with the same number).
- If you just need a correctly-placed end-of-proof marker, then QED.sty (Paul Taylor, 1993-2003) supplies right-justified marks.

**Setting algorithms**

- Use algorithms.sty (Peter Williams, 1996, 2004, Rogério Brito 2005) for laying out algorithms in a standard form).

**Branching quantifiers**

- The neatest way of setting these is suggested by Colin McClarty: use the pmatrix structure available in amsmath package, illustrated here: branching quantifiers.

**Back to Frege**

- begriff.sty (Josh Parsons, 2003) sets Begriffsschrift-style expressions.
- frege.sty (Quirin Pamp, 2012) loosely based on the begriff.sty package, and offers a number of improvements.
- grundgesetze.sty (Marcus Rossberg 2016), commands for typesetting Gottlob Frege’s concept-script in the style of his “Grundgesetze der Arithmetik”

**Counting**

- For word counting, TeXcount has been recommended (allows you to do things like mark bits of a document to be omitted from the word count). (Einar Andreas Rødland, 2008-18)

*Updated 28 July 2021*