...In my instruction, I've used Robert Stoll's book. "Set Theory and Logic". I taught the "Transition to Advanced Mathematics", which uses these same tools. I also teach the logic basis of the Physical Sciences, by getting the student to use Modus Ponens, where we analyze P /\ (P=>Q) =>Q, P being the causal hypothesis and Q, the effect. (read more)