Here is some information about some courses Robert S. Boyer has taught.

  • Computer Sciences 313K: Logic, Sets, and Functions.

  • Computer Sciences 336: Analysis of Programs.

  • Computer Sciences 378: Automated Reasoning.

  • Freshman Seminar 301: Plato.

  • Philosophy 313K: Logic, Sets, and Functions.

  • Philosophy 329M: Plato.