Program in Logic and Foundations Faculty The permanent faculty who specialize in Logic and Foundations are Peter G. Hinman and Andreas R. Blass. Individual information about each is available by following the links to their home pages. Courses The Department offers two undergraduate and five graduate courses in logic. Follow the links for 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 Southern Wisconsin Logic Colloquium University of Illinois-Chicago Logic Seminar Notre Dame Logic Seminar Indiana University Logic Seminar Links of interest to logicians A central repository for information on Computability Theory Los Alamos Preprint Server Mathematical Logic Around the World Professional organizations related to logic Association for Symbolic Logic (ASL)