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.
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.