Seminar in Logic

MAT 4930,  Section 1B41
MAT 6932, Section 18D1
MWF 8th (12:50-1:40), Little 203

Instructor: Douglas Cenzer

Office: 358 Little Hall, 294-2313
Email: cenzer@ufl.edu
Internet: www.people.clas/cenzer
Office Hours: M 7th, W 3d, F 4th, and by appointment.

REFERENCES

D. Cenzer and J. Remmel, Effectively Closed Sets

Handbook of Recursive Mathematics, articles by Harizanov, Ko

M. Pour-El, Computability in Analysis and Physics

K. Weihrauch, Computable Analysis

Syllabus