Isabelle_jedit

MATH 654 Fall 2020

Readings for this graduate course:
  • Foundations of Mathematics, Kenneth Kunen, parts of chapters I-IV.
  • Modal logic for open minds, Johan van Benthem, some of chapters 1-11 and 16.
  • A Proof Assistant for Higher-Order Logic, Isabelle tutorial, parts of chapters 1-7, or instead The Natural Number Game

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>