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