A structure which is decidable if and only if R_exp is decidable
A structure which is decidable if and only if R_exp is decidable
Thu, 19/02/2009
11:00
T. Foster
(Oxford)
Advanced Logic Class
SR1
A structure which is decidable if and only if R_exp is decidable
Mathematical Institute
Home
Contact Us
New Building Project
Supporting Mathematics
Information for:
Prospective Students
Current Students
Departmental Members
Alumni & Friends
Visitors
Information about:
Vacancies
People
Research
Events
Notices
About Us
User login
Username:
*
Password:
*
OU Webauth (Undergraduates)
