Computability Theory and Algebraic Structures, NSF (2005–07) Grant uri icon