• Instructor: Glanzberg, Michael
  • Description:

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

  • Credits: 3