...I provide the student of Logic with the tools of Mathematical Logic and Theorem Proving. 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. (read more)