Graduate introduction to logic
Textbooks:
Chellas: Modal Logic, an introduction
Kunen: Foundations of Mathematics
The standard syllabus may be supplemented with work in a proof assistant like Isabelle.
Graduate introduction to logic
Textbooks:
Chellas: Modal Logic, an introduction
Kunen: Foundations of Mathematics
The standard syllabus may be supplemented with work in a proof assistant like Isabelle.