Computability Theory and Algebraic Structures, NSF (2007–10) Grant uri icon