MATH 654 (Fall 2018)

Graduate introduction to logic

Chellas: Modal Logic, an introduction
Kunen: Foundations of Mathematics

The standard syllabus may be supplemented with work in a proof assistant like Isabelle.

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>