MAT 6932, Section 19H1
MWF 8th (3:00-3:50), Little 127
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.
This will be a seminar with presentations by the instructor and the students on various topics in mathematical logic.
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