Document Preview

Computability theory, reverse mathematics, and ordered fields

Levin, Oscar Louis.   University of Connecticut ProQuest Dissertations Publishing,  2009. 3360700.