MATH 654 (Fall 2018) Graduate introduction to logic Textbooks: Chellas: Modal Logic, an introduction Kunen: Foundations of Mathematics