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