...Logic gets covered as part of most Pure Math tracks, especially the kind covered at an undergraduate level. I also have been working with a Ph.D.-level student on First-Order Logic, Propositional Logic, Temporal Logic, and other related topics. We have worked through several books and a few instructors together, and I am confident that I could do the same for anyone else in the field. (read more)