Course Description

01:730:408 Intermediate Logic II

  • Instructor: Glanzberg, Michael
  • Description:

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

  • Credits: 3