Document Preview

Computability theory, reverse mathematics, and ordered fields

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