[mcguire]

Honestly, the only specific thing I can think of is basic formal logic (predicate calculus, sets, functions, formal proofs, and so forth). (For ex: https://www.logicmatters.net/ifl/)

The specific technique may have something more, but generally any resources start by assuming you know nothing more than formal logic (if that) and build from there.