Skip to Content

Search: {{$root.lsaSearchQuery.q}}, Page {{$}}

Logic and Foundations


The Department offers two undergraduate and five graduate courses in logic. Follow this link and select "Logic and Foundations" to view course descriptions. 

  • Math 481 Introduction to Mathematical Logic 
  • Math 582 Introduction to Set Theory 
  • Math 681 Mathematical Logic 
  • Math 682 Set Theory 
  • Math 683 Model Theory 
  • Math 684 Recursion Theory 
  • Math 781 Topics in Logic

Math 481 and 582 are largely taken by undergraduate concentrators in Mathematics, Computer Science, or Philosophy. A graduate student who is interested in logic will normally begin with Math 681, which is offered each Fall term. The courses Math 682, 683, and 684 are offered on a rotating basis depending on the demand. Math 781 is in principle given sporadically as the need arises and may cover any advanced topic at the option of the instructor. However, in recent yeare there has not been sufficient demand to allow this course to run.

Michigan Logic Seminars

The Logic Seminar is held sporadically during the Fall and Winter terms, usually Thursday afternoons from 4:00 to 5:30. This is an informal forum which welcomes talks on any topic of logical interest. Participants include Mathematics faculty and graduate students, Computer Science faculty (several of whom were trained as logicians), and on occasion faculty from other nearby institutions such as Eastern Michigan University, Bowling Green State University (Ohio), and the University of Windsor (Ontario, Canada).

A related seminar of interest is organized by the theory group of the Computer Science Department. This takes place weekly on Wednesdays from 3:30 to 5:30 and is regularly attended by Mathematics faculty and graduate students interested in logic. 

Logic seminars around the Midwest

Links of interest to logicians

Professional organizations related to logic