Topics in Computable Structure Theory, NSF (2012–16) Grant uri icon