Lamport&#x27;s tutorial (the <i>TLA+ Hyperbook</i>) as well as the old TLA+ book (<i>Specifying Systems</i>) -- both available freely on the TLA+ homepage -- cover all the math you need (which is little more than logical conjunction&#x2F;disjunction&#x2F;implication, the quantifiers for all&#x2F;exists, and set membership&#x2F;union&#x2F;intersection). But it is perhaps better to be familiar with those simple concepts beforehand, although note that what you need is very, very basic. As nmrm2 said, there&#x27;s no need for a full Discrete Math course (or a whole book).