• Course Code: 01:730:408
  • Semester(s) Offered: Spring
  • Instructor: Glanzberg, Michael
  • Description:

    01 (M. Glanzberg) Computability and recursiveness; metatheory of first-order theories; incompleteness theorems; special topics as time permits.

  • Credits: 3